Bump the gradle-deps group with 8 updates (#3511)

KeYProject · Sep 2, 2024 · 58c7a7d · 58c7a7d
2 parents 95d94e0 + 2b9d126
commit 58c7a7d
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 11 deletions.
diff --git a/build.gradle b/build.gradle
@@ -74,9 +74,9 @@ subprojects {
     }
 
     dependencies {
-        implementation("org.slf4j:slf4j-api:2.0.13")
-        implementation("org.slf4j:slf4j-api:2.0.13")
-        testImplementation("ch.qos.logback:logback-classic:1.5.6")
+        implementation("org.slf4j:slf4j-api:2.0.16")
+        implementation("org.slf4j:slf4j-api:2.0.16")
+        testImplementation("ch.qos.logback:logback-classic:1.5.7")
 
         //compile group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.12.0'
         //compile group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.12.0'
@@ -89,12 +89,12 @@ subprojects {
         testCompileOnly "io.github.eisop:checker-qual:$eisop_version"
         checkerFramework "io.github.eisop:checker:$eisop_version"
 
-        testImplementation("ch.qos.logback:logback-classic:1.5.6")
-        testImplementation 'org.junit.jupiter:junit-jupiter-api:5.10.3'
-        testImplementation 'org.junit.jupiter:junit-jupiter-params:5.10.3'
+        testImplementation("ch.qos.logback:logback-classic:1.5.7")
+        testImplementation 'org.junit.jupiter:junit-jupiter-api:5.11.0'
+        testImplementation 'org.junit.jupiter:junit-jupiter-params:5.11.0'
         testImplementation project(':key.util')
 
-        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.10.3'
+        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.11.0'
     }
 
     tasks.withType(JavaCompile) {

diff --git a/key.core/build.gradle b/key.core/build.gradle
@@ -19,8 +19,8 @@ dependencies {
     javacc group: 'net.java.dev.javacc', name: 'javacc', version: '4.0'
     antlr group: 'org.antlr', name: 'antlr', version: '3.5.3'   // use ANTLR version 3
 
-    antlr4 "org.antlr:antlr4:4.13.1"
-    api "org.antlr:antlr4-runtime:4.13.1"
+    antlr4 "org.antlr:antlr4:4.13.2"
+    api "org.antlr:antlr4-runtime:4.13.2"
     //implementation group: 'com.google.guava', name: 'guava', version: '28.1-jre'
 }
 

diff --git a/key.ui/build.gradle b/key.ui/build.gradle
@@ -20,10 +20,10 @@ dependencies {
     implementation project(":key.core.symbolic_execution")
     implementation project(":key.removegenerics")
 
-    api 'com.miglayout:miglayout-swing:11.4'
+    api 'com.miglayout:miglayout-swing:11.4.2'
 
     //logging implementation used by the slf4j
-    implementation 'ch.qos.logback:logback-classic:1.5.6'
+    implementation 'ch.qos.logback:logback-classic:1.5.7'
 
     api 'org.key-project:docking-frames-common:1.1.3p1'
     api 'org.key-project:docking-frames-core:1.1.3p1'