limb added a Fedora 16 branch for cryptominisat limb has set checkout to Approved for provenpackager on cryptominisat (Fedora 16) limb has set commit to Approved for provenpackager on cryptominisat (Fedora 16) To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/cryptominisat