Binary: agda

dtest1 libgnutls-extra-config g_membed gsisftp rdisc lcg-del reporter-print partimage q2qstar.x_mpich msgimport.sh loginfo-handler xgrep arduino-add-groups convert_warp andump freebsd-cksum gnuradio-config-info libwebsockets-test-echo testMPEG4VideoStreamer logstalgia mkvinfo-text mlprof main.py iolatency geosat treil TrimmomaticPE vzsplit flydraw xnecview