Bump the gradle-deps group with 6 updates (KeYProject#3503)

flo2702 · Aug 29, 2024 · fb780ae · fb780ae
2 parents e20a4dd + 1f02a56
commit fb780ae
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/build.gradle b/build.gradle
@@ -24,7 +24,7 @@ plugins {
     id "com.diffplug.spotless" version "6.25.0"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.41"
+    id "org.checkerframework" version "0.6.43"
 }
 
 // Configure this project for use inside IntelliJ:
@@ -81,9 +81,9 @@ subprojects {
         //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'
 
-        compileOnly("org.jspecify:jspecify:0.3.0")
-        testCompileOnly("org.jspecify:jspecify:0.3.0")
-        def eisop_version = "3.42.0-eisop3"
+        compileOnly("org.jspecify:jspecify:1.0.0")
+        testCompileOnly("org.jspecify:jspecify:1.0.0")
+        def eisop_version = "3.42.0-eisop4"
         compileOnly "io.github.eisop:checker-qual:$eisop_version"
         compileOnly "io.github.eisop:checker-util:$eisop_version"
         testCompileOnly "io.github.eisop:checker-qual:$eisop_version"

diff --git a/key.ncore/build.gradle b/key.ncore/build.gradle
@@ -7,7 +7,7 @@ configurations { }
 
 dependencies {
     api project(':key.util')
-    implementation 'org.jspecify:jspecify:0.3.0'
+    implementation 'org.jspecify:jspecify:1.0.0'
 }
 
 tasks.withType(Test) {

diff --git a/key.ui/build.gradle b/key.ui/build.gradle
@@ -20,7 +20,7 @@ dependencies {
     implementation project(":key.core.symbolic_execution")
     implementation project(":key.removegenerics")
 
-    api 'com.miglayout:miglayout-swing:11.3'
+    api 'com.miglayout:miglayout-swing:11.4'
 
     //logging implementation used by the slf4j
     implementation 'ch.qos.logback:logback-classic:1.5.6'

diff --git a/key.util/build.gradle b/key.util/build.gradle
@@ -1,7 +1,7 @@
 description "Utility library of the key-project"
 
 dependencies {
-    implementation("org.jspecify:jspecify:0.3.0")
+    implementation("org.jspecify:jspecify:1.0.0")
 }
 
 checkerFramework {