Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

2ping6 pico cris-linux-gnu-size ceph_smalliobenchrbd svm-subset.py LC_MESSAGES pammixinterlace accton lcp_crtpol2 bogoupgrade-tokyocabinet freefoam-setsToZones fsodeviced ftjam idle-python3.4 bputa sdrmend botan-config-1.10 warp lp-recipe-status mia-3dmaskseeded IKVM.Reflection.dll openchange_provision pcl_in_hand_scanner treesize sass-convert smbnetfs rsyncd-start snapcleaner ncc xcal_cal