Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

conntrackd dirac_YUV422toRGB eog g_dos kmail_antivir.sh openbox-gnome-session ycompar-gfortran ib_write_bw_postlist dbjoin mce_grep GenIssuerAltNameExt postmap qmlplugindump-qt5 sdcc-sdas8051 dctopgx mount.exfat gfplus orbd git-dpm v.lidar.growing kbdrate lxc-test-attach mincdiff numconv test_beat.py qmail-rspawn OpenSwathDIAPreScoring turnin wmxmms2 xmacrorec