Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euare-groupaddpolicy dislocker-fuse geome lx26-amd64 intel_punit_read lfc-rmusrmap moncmd pcl_xyz2pcd lodclamp-between pbo-teximage pyhoca-cli evol dist.x rootinfo i586-linux-gnu-readelf m68hc11-ranlib dctrl2xml frama-c Xtract innconfval karlyriceditor karma_helper ldmd2 mate-invest-chart mono-fpm mtp-filetree nnadmin bibtex.pybtex qtjs relion_postprocess