Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ssl_esock monkeysphere mysql-binlog-dump nkf bucky python-cssmin flappclient redis-check-aof srcpd osinfo xlsclients ar rctest eblook lindna keystone-all klavaro adiosxml2h mark es2_info Microsoft.Common.tasks ngrep tsoutputswitch ConvertAmicasJPEG2000FilesetToDicom qemu-sh4-static smd-applet avimerge wine64 xenstore-watch xmlformat