Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

lsroll d.profile grib_filter qping gate probemodem m2gmetis64 ezmapdemo pbmmask pmiestatus arb_color_buffer_float-render killall qml2puppet z80-unknown-coff-size aclients start_webtool gfan_krulldimension kdigest killer kradio4-convert-presets mifare-classic-read-ndef colored_dmesg pnminterp-gen ntfs-config-root esvideompeg2pes py_xls2csv sheepfs menu.pl atk6-fake_mld26 rtin