Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dsktune mount.glusterfs v.type v.what mklistdoc cxxmetric pcap-config yexpand-gfortran myproxy-init.pl windowoverlap libtool nwsclient.py xml2 bbpager desproxy-inetd dnsd gtml ipcluster3 dunedoxynize nvddsinfo parse_profile.pl regina-config llvm-dwarfdump osgtessellate pfsouttiff ptweens3 getconlist sb_evoscore swift-object-updater umount.udisks2