Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

boincmgr ceph_test_rados_api_misc iprop-log tracepath6 parallel mpdhelp.py mpiexec ncargpath vhier install-php.cmd msgimport.sh amavis-mc fit_affine_dfield ocaml-md5sums wossinput cgdisk forge_make_admin g.access kbruch likey tcpblast psl bits.py buildoutputparser qweborf plt-r6rs Resampler odt2xhtml uuenview wpa_cli