Binary: agda

eric4-plugininstall fusermount v.transform akregatorstorageexporter lbzmore mobj_dump tigerdeep pam_tally2 dq-server arb_transform_feedback3-query_with_invalid_index spec voms-proxy-destroy msp430-strings c-index-test cvm-pgsql-local eric5_api exmh freefoam-simple dir2amp mapview ossim-ws-cmp pyblioformat plot_semivariogram.py archfs slonik_drop_node squeezelite-pa hash_extract update-texmf devmon xeno-test