[gringo] 15/20: debian/control: add Breaks clasp (<< 3.2.1-1)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Dec 11 21:06:58 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit b2ce91e12f1a3ce78f1832a7f84adba8e1a57a6d
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sun Dec 11 10:11:56 2016 +0100
debian/control: add Breaks clasp (<< 3.2.1-1)
---
debian/control | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index f0d63f7..078503d 100644
--- a/debian/control
+++ b/debian/control
@@ -21,7 +21,9 @@ Depends: ${shlibs:Depends}, ${misc:Depends}
Recommends: clasp
Replaces: clingo, iclingo
Conflicts: clingo, iclingo
-Breaks: aspcud (<= 1.9.0-2)
+Breaks:
+ aspcud (<= 1.9.0-2),
+ clasp (<< 3.2.1-1)
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