Binary: agda

asciidoc.py avr-c++filt cjet euare-rolegetpolicy globus-scheduler-event-generator r.li.padrange ldns-gen-zone perror opendkim-testkey portrelease hostbyname bscan mips-linux-gnu-ld drbl-nfs-conf einfo quickadd funcone forge_run_plugin_job gmt2kml gpiv_fi-keyline indi_lx200generic lrs php-parse.php c2p merge_mapping_files.py neighbor_joining.py multigem tau_analyze unmass wine