Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

avr32-linux-gnu-readelf debmirror exinext katalyzer as rdf2ihx tcpspray6 dbfilevalidate stubmaker.pl efikeygen hiz mailq.ssmtp ipcs x2goruncommand quest xrdcp-old bpluginfo triplanar bsd-csh cudf-check freefoam-collapseEdges mia-2dimagestats NIfTI1ToDicom openstack-generate-pot dh_quilt_patch simple_consumer3 ppltotf FeatureFinderRaw vflx11 xencons