diff options
Diffstat (limited to 'gradle/libs.versions.toml')
-rw-r--r-- | gradle/libs.versions.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 59d1ded5..9c4d686a 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml | |||
@@ -41,7 +41,7 @@ mwe-utils = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe.utils", ver | |||
41 | mwe2-launch = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.launch", version.ref = "mwe2" } | 41 | mwe2-launch = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.launch", version.ref = "mwe2" } |
42 | mwe2-lib = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.lib", version.ref = "mwe2" } | 42 | mwe2-lib = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.lib", version.ref = "mwe2" } |
43 | ortools = { group = "com.google.ortools", name = "ortools-java", version = "9.9.3963" } | 43 | ortools = { group = "com.google.ortools", name = "ortools-java", version = "9.9.3963" } |
44 | refinery-z3 = { group = "tools.refinery.z3", name = "refinery-z3-solver", version = "4.12.2" } | 44 | refinery-z3 = { group = "tools.refinery.z3", name = "refinery-z3-solver", version = "4.12.6" } |
45 | slf4j-api = { group = "org.slf4j", name = "slf4j-api", version.ref = "slf4j" } | 45 | slf4j-api = { group = "org.slf4j", name = "slf4j-api", version.ref = "slf4j" } |
46 | slf4j-simple = { group = "org.slf4j", name = "slf4j-simple", version.ref = "slf4j" } | 46 | slf4j-simple = { group = "org.slf4j", name = "slf4j-simple", version.ref = "slf4j" } |
47 | slf4j-log4j = { group = "org.slf4j", name = "log4j-over-slf4j", version.ref = "slf4j" } | 47 | slf4j-log4j = { group = "org.slf4j", name = "log4j-over-slf4j", version.ref = "slf4j" } |