[pkgdb] why3 (Fedora, 17) updated by limb

Fedora PackageDB pkgdb at fedoraproject.org
Thu Apr 19 18:50:27 UTC 2012


limb added a Fedora 17 branch for why3
limb has set checkout to Approved for provenpackager on why3 (Fedora 17)
limb has set commit to Approved for provenpackager on why3 (Fedora 17)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/why3


More information about the scm-commits mailing list