Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cmake28 create-cracklib-dict dpm-ping g_sham_d nsd camlp4orf papi_component_avail fbo-copyteximage vp-clipdistance-02 pilot-read-ical valac-0.10 apsfilter dr_symlinks expect_timed-run gtkspu g.gisenv r.texture sendme.pl insmod stag-db netplex-admin lli-child-target tracepp mona asnval ntpq wsgen profnet_chop pwrkap_aggregate stealth