Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

radosgw-admin dt-gethost lsinitrd fts_bringonline v.net.path hp-sendfax fishsound-identify mtp-albums vgimport draw-elements pilot-install-datebook moc lsb_release thor wol xrdp-sessvc candump cd5 chalow cvm-vmailmgr-local polymerge blockmedian qikec mia-3dimageaddattributes grid-matching trna2tbl maildirmake regionset swfextract .placeholder