Binary: agda

amvault osbf-util easybashgui gfal-legacy-unregister x_over r.in.xyz qconf gtkdoc-mktmpl jack_monitor_client apreq2-config mpic++ ocamlopt.opt phpdoc setserial sss_cache uuname ceph_test_cors drbl-get-user gfan_overintegers ltsinfo mysqmail-pure-ftpd-logger jstat foo2hiperc html2markdown.py2 designer simpleburn akonadi_skroogeakonadi_resource snmpsim-mib2dev sxr-server tomoyo-setlevel