Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

condor_findhost cube_inclusify ecryptfs-setup-private testepsg g_pme_error_d icewm kmk_rmdir mydns-mysql ncftpls pdfstamp razor-admin pkiremove bloom-export-upstream lrelease rpmbuild xrdp-sesadmin yumex WarpImageMultiTransform powerpc64le-linux-gnu-objcopy clojurec1.2 dispcalGUI-apply-profiles flrig i8kmon javaws cppumaker.bin ns rxdebug openambit eerror py3rsa-decrypt