Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ifnames-2.13 nm ceph_test_rados_api_io ia64-linux-gnu-cpp uncompress jscoverage pcl_vtk2obj chartex average.x_mpich mkchroot.sagator sheep patmake ewfmount freefoam-buoyantPimple adddir pswiggle gnunet-resolver graphml2gv killer not-3.4 LogolExec mincmakescalar nvtv onesixtyone patchelf pcl_pcd_organized_multi_plane_segmentation test_base.py parallel_pick_otus_trie.py genpyt tkmib