[pkgdb] cryptominisat summary updated by limb

Fedora PackageDB pkgdb at fedoraproject.org
Wed Dec 7 17:53:14 UTC 2011

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

limb set package cryptominisat summary to SAT solver

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

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

More information about the scm-commits mailing list