Binary: agda

m32r-linux-gnu-as x86_64-linux-gnu-readelf condor_master g.tempfile h5repack x86_64-w64-mingw32-g++ mount.ntfs-fuse opari2 pdepend rg-teximage-02 projwfc.x_openmpi spicec denial6 qnoded make_ext4fs apertium-rewxml apngopt check_postgres_logfile cpufreqd diodload fet gcjh-4.9 regcompare.bin marisa-predictive-search pegasus-gridftp base.py dh_python-ply mif2rtf synaptic-pkexec wa_keyring