Binary: agda

mgd77info r.univar v.select mgetty x86_64-w64-mingw32-windmc podgrep invproj designer-qt5 lrelease rpmdev-sha224 tpm_unloadkey CommonCxxTests apertium-retxt import_statefiles.sh clc-clbuild deluge-web txt2png envset.cmd gourmet i.points iki-ssh-unsafe ick mpegdemux mountinfo prewikka-httpd pildriver.py httparty update-skkdic soundmodem clock