[Bug 555160] Review Request: picosat - A SAT solver

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=555160

Jerry James <loganjerry at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #6 from Jerry James <loganjerry at gmail.com> 2010-01-19 12:03:40 EST ---
I made the changes requested in comment 5.  New URLs:

Spec URL: http://jjames.fedorapeople.org/picosat/picosat.spec
SRPM URL: http://jjames.fedorapeople.org/picosat/picosat-913-2.fc12.src.rpm

Thanks for the man page!

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.