Binary: agda

cddb-tool clm eulb-create-app-cookie-stickiness-policy freight gif2epsn pldes bs2bstream mpitests-osu_alltoallv gl-3.2-depth-tex-sampling ntdbdump sdcc-sdldgb usermod xfce4-settings-helper xfsdump vattr patscc bauble-admin install.sh gtklick indiserver create-so-layer.pl notmuch-mutt star.png pinot-index lunch github-markup sc_wartsdump sacctmgr PeakPickerHiRes canvasdraw