Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Merge pull request #280 from v4hn/clingo

clingo, gringo: version bump
  • Loading branch information...
commit de681ec4c35df9a41488f9bacad1cb0c4495ff65 2 parents 30818cf + 8878d87
@Ratler Ratler authored
Showing with 6 additions and 6 deletions.
  1. +3 −3 compilers/clingo/DETAILS
  2. +3 −3 compilers/gringo/DETAILS
View
6 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
View
6 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
Please sign in to comment.
Something went wrong with that request. Please try again.