[pkgdb] cvc3 summary updated by kevin

Fedora PackageDB pkgdb at fedoraproject.org
Thu Oct 22 04:06:16 UTC 2009

Previous message (by thread): [pkgdb] cvc3 was added for jjames
Next message (by thread): [pkgdb] cvc3 (Fedora, 11) updated by kevin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

kevin set package cvc3 summary to Validity checker of many-sorted first-order formulas with theories

To make changes to this package see:
  /pkgdb/packages/name/cvc3

Previous message (by thread): [pkgdb] cvc3 was added for jjames
Next message (by thread): [pkgdb] cvc3 (Fedora, 11) updated by kevin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the fedora-extras-commits mailing list