From 4663800bc5d1bf3dab199451f7eb538323a9bc50 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 17 Aug 2015 10:23:11 +0200
Subject: [PATCH] bump dependency versions

---
 build.gradle | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/build.gradle b/build.gradle
index 358eebc..e6e6e4d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,4 +1,4 @@
-project.version = '1.0.2-SNAPSHOT';
+project.version = '1.0.3-SNAPSHOT';
 project.group = 'de.stups'
 
 buildscript {
@@ -25,11 +25,13 @@ apply plugin: 'com.github.johnrengelman.shadow'
 
 
 repositories {
+    mavenCentral()
     maven {
       name "cobra"
       url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
     }
 }
+
 configurations {
     sablecc
 }
@@ -47,9 +49,9 @@ sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 
 dependencies {
     sablecc(group: 'de.stups', name: 'sablecc', version: '3.2.7-SNAPSHOT', changing: true)
-    compile 'de.prob:prologlib:2.4.17'
-    compile 'kodkod:kodkod:1.0.0'
-    compile 'org.sat4j:org.sat4j.core:2.3.1'
+    compile 'de.hhu.stups:prologlib:2.4.40'
+    compile 'kodkod:kodkod:2.0.0'
+    compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
     testCompile 'junit:junit:4.8.2'
  }
 
-- 
GitLab