Binary: agda

koji-build-scratch cnee dpns-chmod gvpr i.target qlogin gsoelim highlight-gui qb-blackbox i686-w64-mingw32-nm tgtadm sdparm list_latest_rpm dh-make-ruby mgd77togmt x86_64-w64-mingw32-gnatprep-posix osmocom_fft hubicfuse align_image_stack lemonldap-ng-cli FileCheck-3.4 y4munsharp sftp-kill quiterss rabbirc runsvchdir sendpage-db ym2wav tpmc xymonclient-openbsd.sh