[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