[pkgdb] picosat summary updated by tibbs

Fedora PackageDB pkgdb at fedoraproject.org
Tue Jan 19 19:26:06 UTC 2010

Previous message: rpms/dogtag-pki-ra-ui/devel .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 sources, NONE, 1.1
Next message: [pkgdb] picosat (Fedora, 12) updated by tibbs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

tibbs set package picosat summary to A SAT solver

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

Previous message: rpms/dogtag-pki-ra-ui/devel .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 sources, NONE, 1.1
Next message: [pkgdb] picosat (Fedora, 12) updated by tibbs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list