Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objdump dund man1x g.list sgepasswd natpmpc pklogin_finder po4a-updatepo ftptop autospec saxon torify z80-unknown-coff-ranlib dateutils.dsort linpsk nwepgen gene2xml cli.js ossim-ws-cmp po_ir swift-config qemu-mipsel simple_local_consumer3 blkcat mfplain runThePEG dicomfind xjdrad zivot zypp-refresh