Binary: agda

bti-shrink-urls euare-accountdelpolicy gl-system-install ldapcompare pcl_pcd2png qdbuscpp2xml-qt5 uml_mkcow sxlib2lef cdplay cl-launch debsecan-create-cron learnkeys grokevt-addlog heat-engine shm_askpass lowriter tracesplit_dir llvm-ar-3.5 sapserver aggregartp py3rsa-decrypt pt2to3 qemu-system-sh4eb adjust_seq_orientation.py trflp_file_to_otu_table.py qtconfig texifyc++ tomoyo-domainmatch vdr-newplugin xbuffy