Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bucardo_ctl epydoc fastaclean sccmap rlatopam zenmap-root openhpid NiUserTracker spectra_manipulation.x_mpich mf a56-tobin ardour2-session_exchange.py chase colormake ct_run fastaq_fasta_to_fastq fqterm gcolor2 gfsview2D gsutil jnoisemeter ldapmodifyuser gdcmimg dupemap mprof-decoder nodejs pg_archivecleanup dptsv exprlp im.pl