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

2009-12-16 Thread bugzilla
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=442714 Lorenzo Villani lvill...@binaryhelix.net changed: What|Removed |Added

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

2009-01-26 Thread bugzilla
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=442714 Lorenzo Villani lvill...@binaryhelix.net changed: What|Removed |Added

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

2009-01-16 Thread bugzilla
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=442714 Debarshi Ray debarshi@gmail.com changed: What|Removed |Added

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

2008-12-28 Thread bugzilla
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=442714 Debarshi Ray debarshi@gmail.com changed: What|Removed |Added

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

2008-12-28 Thread bugzilla
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=442714 Lorenzo Villani lvill...@binaryhelix.net changed: What|Removed |Added

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

2008-10-20 Thread bugzilla
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=442714 --- Comment #36 from Debarshi Ray [EMAIL PROTECTED] 2008-10-21 00:22:21 EDT --- + RPMLint is not clean on SRPM: [EMAIL

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

2008-10-20 Thread bugzilla
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=442714 --- Comment #37 from Debarshi Ray [EMAIL PROTECTED] 2008-10-21 00:30:19 EDT --- According to the Naming Guidelines,

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

2008-10-16 Thread bugzilla
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=442714 --- Comment #35 from Lorenzo Villani [EMAIL PROTECTED] 2008-10-16 08:16:01 EDT --- SPEC URL:

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

2008-10-15 Thread bugzilla
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=442714 --- Comment #34 from Debarshi Ray [EMAIL PROTECTED] 2008-10-15 15:32:22 EDT --- MUST Items: OK - rpmlint is clean OK -

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

2008-10-10 Thread bugzilla
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=442714 Debarshi Ray [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-09-26 Thread bugzilla
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=442714 --- Comment #32 from Mamoru Tasaka [EMAIL PROTECTED] 2008-09-26 01:59:21 EDT --- (In reply to comment #31) Lorenzo, are

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

2008-09-26 Thread bugzilla
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=442714 --- Comment #33 from Lorenzo Villani [EMAIL PROTECTED] 2008-09-26 09:14:21 EDT --- I'm still willing to get the package in

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

2008-09-25 Thread bugzilla
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=442714 Debarshi Ray [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-08-25 Thread bugzilla
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=442714 --- Comment #29 from Lorenzo Villani [EMAIL PROTECTED] 2008-08-25 11:04:05 EDT --- If anyone wants to try the latest

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

2008-08-25 Thread bugzilla
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=442714 --- Comment #30 from Lorenzo Villani [EMAIL PROTECTED] 2008-08-25 11:15:25 EDT --- SRPM URL:

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

2008-08-24 Thread bugzilla
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=442714 --- Comment #28 from Lorenzo Villani [EMAIL PROTECTED] 2008-08-24 15:20:03 EDT --- SRPM URL:

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

2008-08-20 Thread bugzilla
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=442714 --- Comment #27 from Lorenzo Villani [EMAIL PROTECTED] 2008-08-20 09:40:04 EDT --- @Pavel Alexeev I'm sorry, the real URL

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

2008-08-18 Thread bugzilla
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=442714 Michal Schmidt [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-08-07 Thread bugzilla
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=442714 Lorenzo Villani [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-08-07 Thread bugzilla
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=442714 --- Comment #22 from Lorenzo Villani [EMAIL PROTECTED] 2008-08-07 10:44:38 EDT --- SPEC URL:

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

2008-08-07 Thread bugzilla
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=442714 Pavel Alexeev [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-08-07 Thread bugzilla
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=442714 David A. Wheeler [EMAIL PROTECTED] changed: What|Removed |Added

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

2008-08-07 Thread bugzilla
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=442714 --- Comment #25 from David A. Wheeler [EMAIL PROTECTED] 2008-08-07 21:58:57 EDT --- In the minisat2 package I added a

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

2008-07-28 Thread bugzilla
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.

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

2008-07-05 Thread bugzilla
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.

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

2008-07-05 Thread bugzilla
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.

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

2008-07-05 Thread bugzilla
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.

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

2008-06-24 Thread bugzilla
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.

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

2008-06-24 Thread bugzilla
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.

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

2008-06-22 Thread bugzilla
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.

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

2008-06-19 Thread bugzilla
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.

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

2008-06-19 Thread bugzilla
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.

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

2008-06-19 Thread bugzilla
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.

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

2008-06-18 Thread bugzilla
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.

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

2008-06-18 Thread bugzilla
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.

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

2008-06-17 Thread bugzilla
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.

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

2008-06-17 Thread bugzilla
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.

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

2008-06-17 Thread bugzilla
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.

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

2008-06-09 Thread bugzilla
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.

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

2008-06-09 Thread bugzilla
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.

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

2008-06-09 Thread bugzilla
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.

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

2008-06-09 Thread bugzilla
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.

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

2008-06-09 Thread bugzilla
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.

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

2008-05-22 Thread bugzilla
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.

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

2008-05-21 Thread bugzilla
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.

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

2008-05-20 Thread bugzilla
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.

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

2008-04-16 Thread bugzilla
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.