Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

BackupPC_zcat colorize dtconf ebfont euca-describe-vpn-gateways mpssh pkgenpack pcl_image_grabber_saver make_method arb_clear_buffer_object-mapped R aubiotrack figlet-figlet gbgoffice ghc-modi gnunet-gns testrb kon license macsave nescc-wiring tap-http.js drawgram pwman3 moin shutter starplot merge-changelog uim-im-switcher-gtk upgrade-system