[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8892edc0e8138cdfe54a279a49f722c4449b8cf1
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 16:49:44 2011 +0200

    add old debian directory

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..9e6221e
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,6 @@
+minisat+ (0.2007.01.05-1) unstable; urgency=low
+
+  * Initial package.
+
+ -- Ralf Treinen <treinen at pps.jussieu.fr>  Mon, 02 May 2011 22:46:38 +0200
+
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..45a4fb7
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+8
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..71ec98e
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,20 @@
+Source: minisat+
+Section: science
+Priority: extra
+Maintainer: Ralf Treinen <treinen at pps.jussieu.fr>
+Build-Depends: debhelper (>= 8)
+Standards-Version: 3.9.2
+Homepage: http://minisat.se/MiniSat+.html
+Vcs-Svn: https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/minisat+/trunk
+Vcs-Browser: https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/minisat+/trunk
+
+Package: minisat+
+Architecture: any
+Depends: ${misc:Depends}, ${shlibs:Depends}
+Description: solver for pseudo_Boolean constraints
+ MiniSat+ is a two-week hack done to enable MiniSat to compete in the
+ new categories of the SAT 2005 competition. Initially, we intended to
+ support both Pseudo-Boolean constraints (i.e. linear constraints over
+ boolean variables) and circuit based SAT input (as opposed to
+ CNF). However, after we finished the conversion of PB-constraints to
+ SAT, we ran out of steam and never finished the other part.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..543335c
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,12 @@
+Upstream-Name: copyright
+Upstream-Contact: Niklas Sorensson <nik at chalmers.se>
+Source: http://minisat.se/MiniSat+.html
+Copyright: Niklas Eén and Niklas Sörensson
+Licence: MIT 
+
+Files: *
+Copyright: Niklas Eén and Niklas Sörensson
+Licence: MIT
+
+
+
diff --git a/debian/minisat+.install b/debian/minisat+.install
new file mode 100644
index 0000000..1237355
--- /dev/null
+++ b/debian/minisat+.install
@@ -0,0 +1 @@
+minisat+ usr/bin
diff --git a/debian/rules b/debian/rules
new file mode 100644
index 0000000..f910a57
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,10 @@
+#!/usr/bin/make -f
+
+%:
+	dh $@
+
+override_dh_auto_make:
+	make rx
+
+override_dh_auto_clean:
+	make clean
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

-- 
minisat+ packaging