Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-born xml2ris ceph_test_rados_api_tier db43_load cpanget dtc v.in.region i3status oggz-chop mpivars mysqlauditgrep qml1plugindump-qt5 groupmod tunneler usbview vile xmlmantohtml aide-attributes m68hc11-as fcconv mlink install.sh bez2mesh sphinterpolate gnome-flashback blastn knfs network_restart update-catalog xorp_fea