Binary: agda

ldap2zone h8300-linux-gnu-c++filt openrisc-linux-gnu-gprof qdiskd dislocate flow-import faxwatch readpst arb_texture_multisample-sample-mask ext_framebuffer_multisample-minmax pyrasite-shell qdbuscpp2xml mpstat 0install ae_diff2htm dbxflat fuzztran h2pas-2.6.4 arm-none-eabi-run hledger-interest testMPEG4VideoStreamer lutefisk minvoke mrtg-sensors apt pyFAI-waxs passenger-status sauce9-convert sflphone-client-kde slonik_drop_set