[picosat/f18] New upstream release.

Jerry James jjames at fedoraproject.org
Mon Aug 20 21:24:44 UTC 2012

Previous message: [glibc] Remove obsolete patches
Next message: [csisat] Rebuild for new picosat.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  82cdf33... New upstream release. (*)

(*) This commit already existed in another branch; no separate mail sent

Previous message: [glibc] Remove obsolete patches
Next message: [csisat] Rebuild for new picosat.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list