[pkgdb] picosat summary updated by tibbs
Fedora PackageDB
pkgdb at fedoraproject.org
Tue Jan 19 19:26:06 UTC 2010
tibbs set package picosat summary to A SAT solver
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/packages/name/picosat
More information about the scm-commits
mailing list