Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alsactl vfdecrypt gdbserver v.info kdeinit4 serve-branches ppmpat snmpvacm prelink whisper-info rdistd dbfxtrct editres apertium-destxt dh_fixperms dnswalk lsconv dottup idl5.lut freefoam-dieselEngine gfan_tropicalbruteforce edit-pr indi_v4l2_ccd jparse kde-systemsettings-tree.py plsense-server-main map2gcm spotlighter logo utfout