Binary: agda

remove-ds-admin.pl as ceph-client-debug mkqdisk fastarevcomp qli gio-querymodules-64 hp_alice2 fbo-generatemipmap-viewport designer-qt5 qcollectiongenerator-qt5 co stompclt xrced yad-icon-browser adequate start_erl extsmaild ucsc_genes2gff gm-download_atc gnunet-fuse grub-reboot t1reencode extractjpgs ltsp-genmenu mknbi-menu refdbjade slirp-fullbolt soundconverter xymond_client