[ppl] 67/68: Imported Debian patch 1:1.1-7.2

[Andreas Tille]

This is an automated email from the git hooks/post-receive script.

tille pushed a commit to branch master
in repository ppl.

commit 5413f0b8f09500c8abe7fe07922168ed76173e5c
Author: Matthias Klose <doko at debian.org>
Date:   Fri Dec 11 22:04:46 2015 +0100

    Imported Debian patch 1:1.1-7.2
---
 debian/changelog |  8 ++++++++
 debian/control   | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 43 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 43c1801..086e345 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+ppl (1:1.1-7.2) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * Restore the libppl-doc and libppl-swi packages, not built by mistake
+    in the previous upload.
+
+ -- Matthias Klose <doko at debian.org>  Fri, 11 Dec 2015 22:04:46 +0100
+
 ppl (1:1.1-7.1) unstable; urgency=medium
 
   * Non-maintainer upload.
diff --git a/debian/control b/debian/control
index 20362f0..152d60c 100644
--- a/debian/control
+++ b/debian/control
@@ -90,3 +90,38 @@ Description: Parma Polyhedra Library (C interface)
  exception-safe, rather efficient and thoroughly documented.
  .
  This package provides the C interface.
+
+Package: libppl-doc
+Architecture: all
+Section: doc
+Depends: ${misc:Depends}, libjs-jquery
+Description: Parma Polyhedra Library: Documentation
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions.  The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing.  The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the documentation.
+
+Package: libppl-swi
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends: libppl13v5 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
+Description: Parma Polyhedra Library (SWI Prolog interface)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions.  The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing.  The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the SWI Prolog interface.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git