[pkgdb] lfsc summary updated by pbabinca

Fedora PackageDB pkgdb at fedoraproject.org
Thu Apr 18 12:05:10 UTC 2013

Previous message: [pkgdb] lfsc was added for jjames
Next message: [pkgdb] lfsc (Fedora, 18) updated by pbabinca
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

pbabinca set package lfsc summary to SMT proof checker

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

Previous message: [pkgdb] lfsc was added for jjames
Next message: [pkgdb] lfsc (Fedora, 18) updated by pbabinca
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list