Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cube_is_empty dvdauthor euca-create-route-table foomatic-nonumericalids FreeCAD gtk-redshift ng_stl qml1plugindump ypserv_test zarafa-stats ascommand lpstat cvs-debc dns_tree enblend-mp inet_gethost freefoam-particleTracks uhd_rx_nogui gtkam mkminifont ldapmodifygroup vldiff ml-ulex museekcontrol mpc2sv8 nodm nwipe pb-udhcpc hipercdecode atk6-extract_hosts6