Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs ceph_test_cls_rgw_log sedispol euca-delete-subnet gpgsm-gencert.sh kdeinit4 kvirc netdump-server roundtrip pcl_ndt3d sane-find-scanner makemap update_sqlgrey_config arista-transcode mheard CoinMPTestCS9.exe.gz x86_64-w64-mingw32-gnat-win32 httraqt updatepofiles-1.2.4 updateLysKOM mp4track dicom_filename osgearth_cache pj_validate maildir2mbox scanlogd sisu-pg syrep symtext wikeyname