Binary: colverify

restore kreversi solv papi_clockres sqlt-graph podofoimgextract fd_ifc.x_openmpi saned bombardment x2godbadmin xfce4-mixer aesfix cdfvita-geo archive_agent db5.3_recover dbamsg diodshowmount git-delete-submodule v.class htmlclean turtle_benchmark.pl macho-dump ml-antlr.x86-linux python2-gen_protorpc qemu-ppc64le texifypython monitor unadf vfldrvs zstat