Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arduino cdserv-g77 fence_check register-common-lisp-source mktemp davix-http easydialog.sh mmroff repo2solv.sh manage_exports syncqt.pl lupdate rhino cimmof alien conjugue scope ctfmerge freefoam-surfaceFeatureConvert grub-glue-efi h5topng newsrequeue mia-3dgetsize blastx orte-clean osgmultiplerendertargets sidplayfp slock udisks-tcp-bridge vbackup