Binary: agda

rndc-confgen db42_checkpoint extractbb euca-create-vpc fastanrdb gitso listgeo snmpdelta config aeson-pretty almanah apertium-gen-lextormono bbtime bogotune-sqlite cairo-clock stream_pixels showalign gr_read_file_metadata g-ir-annotation-tool ltsp-build-client mrtg-apache muse on_ac_power lsdev submit_to_mgrast.py shprewind srf-load.2 xpl2gpl terminatorX trang