Binary: agda

asciidoc.py wtoc cancel.cups arm-linux-gnu-cpp pgmap lsmd mpitests-IMB-IO netsed pmhostname text2html sdpscanner qcollectiongenerator-qt5 apertium-validate-dictionary arm-none-eabi-gprof objdump cbp2make colortest-256 test_rt find-url-in-rpm-md-set erl.src gnome_wave_cleaner hime-phoa2d isoqlog glyphterp obd2gpx ontv-dbus lrelease unison-latest-stable-gtk xen-bugtool xnbd-register