[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