Binary: agda

amixer fence_virtd initialize_github2fedmsg_db h5pfc hercules-run llvm-tblgen auinfo pnmtopnm arb_sample_shading-builtin-gl-sample-position glsl-light-model samefile ts2po odbc_config bareos-dbcheck dnssec-checkds m68hc12-readelf datefudge snmpc faimond-gui g.mremove grilo-test-ui-0.2 mia-3dlandmarks-distances musetup-gtk nntidy codeEditor qthid tos-serial-debug udav valac-0.26 xenstore-rm