[pkgdb] why3 summary updated by limb

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

Previous message: [pkgdb] why3 was added for jjames
Next message: [pkgdb] why3 (Fedora, 17) updated by limb
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

limb set package why3 summary to Software verification platform

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

Previous message: [pkgdb] why3 was added for jjames
Next message: [pkgdb] why3 (Fedora, 17) updated by limb
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list