Binary: agda

ld dnssec-trigger-panel g.mapsets GMXRC.csh jack_showtime xsltproc mdel rdx ocioconvert horde-translation smtp-source fd_ifc.x_openmpi smbios-lcd-brightness setfacl bluedevil-wizard dh_installdebconf drbl-gen-ssh-host-keys maxcut readPYBase r.proj wine xml2marc obd2csv opencc_dict exrdisplay pytagsfs pg_dotconf.py datemail roarsin tgtt