Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amplot freight-clear-cache glite-lb-mon gnotravex dasdls ievents kdesvn i686-w64-mingw32-nm globaltime papi_event_chooser copytexsubimage po2json arden-create axctl pop3d-ssl svok ts_filter etherpuppet fastx_nucleotide_distribution_graph.sh funimage gr_time_plot_f lxtask mate-maximus mco mia-2dseries-mincorr mono-xsp4-update scrobbler soundconverter pregap4 xymonfetch