Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

exim d.measure list_owners pbmtog3 flowdumper nwsutil.py addpart airport-modem WarpImageMultiTransform bp_translate_seq calligraconverter cdfrmsssh run_erl README fastaq_to_quasr_primers_file treefile2prolog random_feature.pl gr_spectrogram_plot_b edit-faxcover youtube-download llvm-as prep msort-gui osgsimpleshaders osgwidgetstyled libvirt.rb shp_doctor thermald tigercron vzstats