[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.

[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 report.

Summary: Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.


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





------- Additional Comments From tibbs at math.uh.edu  2008-06-18 16:33 EST -------
The "Show Bug Activity" link should tell you everything you need to know about
the history of this ticket.  As far as I can tell, this ticket has never been
assigned to anyone and Jochen isn't even CC'd on this ticket so he wouldn't see
any of the remarks.

Note that we do have some cmake information:
http://fedoraproject.org/wiki/Packaging/cmake

I would not approve this package without the test suite being included and run
at build time unless that's just not possible.

-- 
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, or are watching someone who is.