Binary: agda

powerpc64-linux-gnu-readelf grog gyp arb_transform_feedback2-cannot-bind-when-active cconfig vasy msp430-gprof cdfgeo-uv clojurec1.2 covered ctsim GOSA elaps typer expect_timed-run gnathtml httpfs2 indi_gpusb json-glib-validate sftp-kill windowmasker_2.2.22_adapter osmfilter gscriptor cpu_offlining pelican-import qemu-unicore32 razers2 getwordfreq uni xapers-adder