Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

catkin-build-debs-of-workspace cdserv diet b2m kreversi dc1394_grab_partial_image tiff2bw mpitests-osu_bibw mysqldiff sqlalchemy-migrate rekallManual ttf2afm vile-pager deletall belvu blastall maildirkw feattext faucc rmiregistry hm-todo blastdbcmd openbox-menu DicomCleaner ir_ab_names rsbackup sc_warts2text slon_status tSmoke wordlist2dawg