Skip to content
Snippets Groups Projects
Commit 79ae809d authored by dgelessus's avatar dgelessus
Browse files

Update ProB 2 version to 4.0.0-SNAPSHOT

parent 8b13e37e
No related branches found
No related tags found
No related merge requests found
......@@ -38,7 +38,7 @@ configurations.all {
}
dependencies {
compile(group: "de.hhu.stups", name: "de.prob2.kernel", version: "3.2.12-SNAPSHOT", changing: true)
compile(group: "de.hhu.stups", name: "de.prob2.kernel", version: "4.0.0-SNAPSHOT", changing: true)
compile(group: "io.github.spencerpark", name: "jupyter-jvm-basekernel", version: "2.2.3")
compile(group: "org.jetbrains", name: "annotations", version: "17.0.0")
compile(group: "se.sawano.java", name: "alphanumeric-comparator", version: "1.4.1")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment