Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

at boinccmd freecolor sparc64-linux-gnu-gcc gdk-pixbuf-query-loaders-32 cleanipcs ola_trigger degenerate-prims scissor-many setfx bmaptool mkfs.fat fspy goweb r.out.gridatb nvcompress tulip-config class-5d.x pcl_openni_organized_compression pksvm plog pybootchartgui python3dm qmail-queue MarketModels rt-clean-sessions-4 rxgettext xenstore-rm xencov_split xymonlaunch