[Lunar-commits] <moonbase-other> clingo, gringo: version bump

[v4hn]

commit 8878d87312437b2dcf1a390a278064e49d13401b
Author: v4hn <me at v4hn.de>
Date: Sun, 23 Feb 2014 02:40:07 -0800
URL: https://github.com/lunar-linux/moonbase-other/commit/8878d87312437b2dcf1a390a278064e49d13401b

clingo, gringo: version bump
---
  compilers/clingo/DETAILS | +3/-3     
  compilers/gringo/DETAILS | +3/-3     
  2 files changed, 6 insertions(+), 6 deletions(-)

--- a/compilers/clingo/DETAILS
+++ b/compilers/clingo/DETAILS
@@ -1,12 +1,12 @@
           MODULE=clingo
-         VERSION=4.2.1
+         VERSION=4.3.0
           SOURCE=$MODULE-$VERSION-source.tar.gz
       SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
-      SOURCE_VFY=sha1:c3a2baa895fac3b1ebacfc039ef5be8dd38a79d4
+      SOURCE_VFY=sha1:dea541a8ecac161fbe16a45f867a95275bdc3918
         WEB_SITE=http://potassco.sf.net
          ENTERED=20120512
-         UPDATED=20131116
+         UPDATED=20140223
            SHORT="grounder for logic programs with first order variables"
 
 cat << EOF
--- a/compilers/gringo/DETAILS
+++ b/compilers/gringo/DETAILS
@@ -1,12 +1,12 @@
           MODULE=gringo
-         VERSION=4.2.1
+         VERSION=4.3.0
           SOURCE=$MODULE-$VERSION-source.tar.gz
       SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
-      SOURCE_VFY=sha1:e27790e7d27c54ebb993d97debc01df5c2a4ddd6
+      SOURCE_VFY=sha1:dccb55c2c690ebe1f6599a43b6072bfb50eb5e83
         WEB_SITE=http://potassco.sf.net
          ENTERED=20120512
-         UPDATED=20131116
+         UPDATED=20140223
            SHORT="grounder for logic programs with first order variables"
 
 cat << EOF