Binary: agda

dzeX11-gfortran v.generalize v.overlay kfloppy lsof ntfscp ola_set_priority openscada sqlrw arb_uniform_buffer_object-dlist ftprm reindex gmod_load_cvterms.pl ontogetsibs ganeti-confd gbrowse_syn_load_alignments_msa gforth-itc g.copy v.vect.stats perm3 PToptimizer polarssl_rsa_decrypt amd64-mingw32msvc-addr2line most Cn3D-3.0 transformation.py pocketsphinx_batch py_xls2txt gord-long sql.py.mako