Binary: agda

beanstalkd gstreamer-properties d.frame gtk2hsTypeGen otpprint isomaster fix_includes lvmsar mysqlcheck cidupdate hiz-depth-test-window-stencil0 projectM-jack roots umount avcdelete cdfpolymask debci-batch moonshot-webp nadoka rmcp copy-cacerts.py parallel_align_seqs_pynast.py quicksynergy gord-int64 searchmonkey spfmilter trimage wdmLogin xsdtree xwatch