[SCM] grounding tools for (disjunctive) logic programs branch, master, updated. c9bca287a62e94404fac9cfdd51a09324e6af206

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit c9bca287a62e94404fac9cfdd51a09324e6af206
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed May 23 16:04:40 2012 +0200

    Bugfix for #672933.

diff --git a/debian/changelog b/debian/changelog
index 6d182d0..8ca556c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+gringo (3.0.4-3) unstable; urgency=low
+
+  * Bug fix: "please build-depend on unversionend boost libraries", thanks
+    to Ralf Treinen (Closes: #672933).
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Wed, 23 May 2012 15:25:09 +0200
+
 gringo (3.0.4-2) unstable; urgency=low
 
   * debian/patches/gringo-clang-gcc.patch: New file originally from
diff --git a/debian/control b/debian/control
index 1545a56..461343e 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,8 @@ DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 8.0.0),
  cmake,
  re2c,
- libboost-filesystem1.48-dev,
- libboost-system1.48-dev,
+ libboost-filesystem-dev,
+ libboost-system-dev,
  liblua5.1-dev
 Standards-Version: 3.9.3
 Vcs-Git: git://git.debian.org/git/debian-science/packages/gringo.git

-- 
grounding tools for (disjunctive) logic programs