pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ccs_test dt-gethost euscale-describe-auto-scaling-notification-types euscale-put-notification-configuration r.cost espdiff alembic ml_count deepfind tm_matlab wipe aecomplete pdv arpfetch h8300-hms-objcopy sdcdb pg2cdbi_viaTT.pl DBDirect-hdbc-odbc gnatcoll_db2ada refile ltsinfo mp3check mpqcval DifOdometry-Datasets mustang nc.openbsd matchers.py science-physics esfilter v4l2ucp

© loginroot.com, 2016