Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

avr-objdump clipper-config date dialog dot2gxl g_cluster hp_median_filter ng_vol brushtopbm genior pterm qhull scapy sg_verify astcanary cdfmaskdmp ceph_test_cls_rgw_meta drs_checkthredds helpmidas xplor2gmx mifare-desfire-create-ndef mia-plugin-help mincsample mp3fs parley popularity-contest codeEditor upse123 showattr false