Binary: agda

autotest-local beam.smp euscale-create-or-update-tags gpaw-mpisim v.what imlib_config resample-sndfile telnet-chatd yac2ncid manifestparser rpc.rstatd ask-compare-time-series check_postgres_pgb_pool_maxwait coqc cudf-check electrum execstack fb tzxlist arm-none-eabi-gcov MkOneOf slice2py gdcmscu mpicc.openmpi lpspp follower.py is.pl ucf xmlindent yaz-json-parse