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