Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dpm-modifyfs hp_smoothing_cxx mpireconfig imgtoppm ypatchy rpmconf seren sl autoradioctrl ceph_test_librbd_fsx paths.sh ide wossoperation keytool psimage gnunet-resolver gr_read_file_metadata i.group imapproxyd sqlbox minchistory folder pcp_pool_status nevow-xmlgettext compare_distance_matrices.py qthid-2.2 gustaf smtpprox-loopprevent storeBackupConvertBackup tophat