[gringo] 01/01: Add Breaks: aspcud

Thomas Krennwallner tkren-guest at moszumanska.debian.org
Thu Dec 19 06:15:24 UTC 2013


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

tkren-guest pushed a commit to branch master
in repository gringo.

commit 2a174a45ed8d4d6753a046953634db66607d67e9
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Dec 19 07:14:50 2013 +0100

    Add Breaks: aspcud
---
 debian/changelog | 9 +++++++++
 debian/control   | 3 +--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index a223a31..9e8cb97 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+gringo (4.2.1-3) unstable; urgency=low
+
+  * debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
+    upstream.
+    Remove spurious Build-Depends on libboost-filesystem-dev and
+    libboost-system-dev.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Wed, 18 Dec 2013 09:42:59 +0100
+
 gringo (4.2.1-2) unstable; urgency=low
 
   * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
diff --git a/debian/control b/debian/control
index fbbee3f..08e4ad2 100644
--- a/debian/control
+++ b/debian/control
@@ -9,8 +9,6 @@ Build-Depends: debhelper (>= 9),
  re2c,
  bison,
  libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64],
- libboost-filesystem-dev,
- libboost-system-dev,
  liblua5.1-dev,
  libpython2.7-dev
 Standards-Version: 3.9.5
@@ -25,6 +23,7 @@ Recommends: clasp
 Suggests: potassco-guide
 Replaces: clingo, iclingo
 Conflicts: clingo, iclingo
+Breaks: aspcud (<= 2012.10.24-6)
 Description: grounding tools for (disjunctive) logic programs
  Current answer set solvers work on variable-free programs. Hence, a
  grounder is needed that, given an input program with first-order

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



More information about the debian-science-commits mailing list