Binary: agda

cpmls ebtables-save gl-setup-authkeys grib_ls qcollectiongenerator-qt5 pw2bgw.x_openmpi prettify_json.rb smbta-util sdcc-sdld6808 sg_prevent gsnap qsub-torque 2html dh_installlogcheck install.sh iclingo hime-env radius lldb miramem mrxvt-mini mshortname pcb-gtk bits.py ra-index gmk_ub2-int32 param_chooser docbook-2-html pop_auth xmms2