Binary: agda

euwatch-delete-alarms exciting-stateconvert sample1d GraphicsMagick-config ip6tables-save-1.4.7 kmk_mkdir svn-clean kdump oscilloscope bundle_image molecularpdos.x compute_sloc_lang ndpexhaust26 bp_parse_hmmsearch bluetoothctl randomdata create-drbl-live-by-pkg csdebugger debpkg gnutv trees2prolog i.landsat.toar icmp6 mipe2dbSTS mount.vmhgfs otrs.CleanUp.pl otrs.FillDB.pl praat saint-spc-ctrl xymonclient-netbsd.sh