pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-action-analyze-ccpp-local powerpc64-linux-gnu-objdump check_postgres.pl dpns-ls fortune mpitests-osu_mbw_mr par qiv qdstat killall5 remote-viewer regedit zile mtime abtransfers cdfsstconv cdfvita-geo ocs-restore-mdisks xform2dfield drbl-clean-autologin-account txt2ihex gappletviewer-4.8 git-extras make_ndx imwheel lemonldap-ng-cli lxc-test-getkeys mbtg mcdiff amin

© loginroot.com, 2016