Binary: agda

dbscan-bin aggregate-ios a2x powerpc64-linux-gnu-ld xtensa-linux-gnu-ar visualinfo grid-cert-info g_clustsize_d ktorrent malaga mpitests-osu_alltoall clogprint xwdtopnm opencv_traincascade arb_color_buffer_float-readpixels uic-qt5 pixeltool-qt5 sinjdoc qgpumode isqlw-iodbc-vt aconnectgui a+ turnadmin setforward fauhdli gnuais tracesummary muse-song-convert osgspotlight transmission-remote-cli