Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

argsparse nm arm-linux-gnu-gprof ld glite-lb-bkserverd kmk_install hg-ssh vidir fbo-readpixels tex3d-maxsize qdbus pppoe-connect bbackupctl coinst_converter escript filepp flowgrindd grdhisteq grokevt-builddb udp2file embpexec vlmerge mp4subtitle osggameoflife p-link procmeter3-xaw smcroute install-printerdriver journalctl komkindex