[SCM] minisat+ packaging branch, master, updated. debian/1.0-1-4-g5092861

[Ralf Treinen]

The following commit has been merged in the master branch:
commit fca904633e658efc8c817ffbe7014a8fb171bc40
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 24 20:51:31 2011 +0200

    refresh patch

diff --git a/debian/patches/exitcode b/debian/patches/exitcode
index 9469077..c838345 100644
--- a/debian/patches/exitcode
+++ b/debian/patches/exitcode
@@ -4,8 +4,8 @@ Description: use exitcode to indicate error
 
 Index: minisat+/Main.C
 ===================================================================
---- minisat+.orig/Main.C	2011-05-24 20:45:16.000000000 +0200
-+++ minisat+/Main.C	2011-05-24 20:45:56.000000000 +0200
+--- minisat+.orig/Main.C	2011-05-24 20:48:23.000000000 +0200
++++ minisat+/Main.C	2011-05-24 20:50:13.000000000 +0200
 @@ -261,7 +261,7 @@
      reportf("*** TERMINATED ***\n");
      outputResult(*pb_solver, false);
@@ -26,8 +26,8 @@ Index: minisat+/Main.C
  
 Index: minisat+/PbParser.C
 ===================================================================
---- minisat+.orig/PbParser.C	2011-05-24 20:45:16.000000000 +0200
-+++ minisat+/PbParser.C	2011-05-24 20:45:56.000000000 +0200
+--- minisat+.orig/PbParser.C	2011-05-24 20:48:23.000000000 +0200
++++ minisat+/PbParser.C	2011-05-24 20:50:13.000000000 +0200
 @@ -282,7 +282,7 @@
              xfree(msg);
              if (opt_satlive && !opt_try)
@@ -39,8 +39,8 @@ Index: minisat+/PbParser.C
      }
 Index: minisat+/debian/minisat+.1
 ===================================================================
---- minisat+.orig/debian/minisat+.1	2011-05-24 20:45:15.000000000 +0200
-+++ minisat+/debian/minisat+.1	2011-05-24 20:46:33.000000000 +0200
+--- minisat+.orig/debian/minisat+.1	2011-05-24 20:48:23.000000000 +0200
++++ minisat+/debian/minisat+.1	2011-05-24 20:50:13.000000000 +0200
 @@ -89,5 +89,8 @@
  trivially unsatisfiable then no file is written.
  .PP

-- 
minisat+ packaging