Bump the gradle-deps group with 7 updates (#3731)

Author: wadoon

build.gradle

@@ -13,7 +13,7 @@ plugins {
     // id "com.github.ben-manes.versions" version "0.39.0"
 
     // Code formatting
-    id "com.diffplug.spotless" version "8.1.0"
+    id "com.diffplug.spotless" version "8.2.1"
 
     // EISOP Checker Framework
     id "org.checkerframework" version "0.6.61"
@@ -79,7 +79,7 @@ subprojects {
     dependencies {
         implementation("org.slf4j:slf4j-api:2.0.17")
         implementation("org.slf4j:slf4j-api:2.0.17")
-        testImplementation("ch.qos.logback:logback-classic:1.5.24")
+        testImplementation("ch.qos.logback:logback-classic:1.5.27")
 
 
         compileOnly("org.jspecify:jspecify:1.0.0")
@@ -91,21 +91,21 @@ subprojects {
         checkerFramework "io.github.eisop:checker-qual:$eisop_version"
         checkerFramework "io.github.eisop:checker:$eisop_version"
 
-        testImplementation("ch.qos.logback:logback-classic:1.5.24")
-        testImplementation("org.assertj:assertj-core:3.27.6")
-        testImplementation("ch.qos.logback:logback-classic:1.5.24")
+        testImplementation("ch.qos.logback:logback-classic:1.5.27")
+        testImplementation("org.assertj:assertj-core:3.27.7")
+        testImplementation("ch.qos.logback:logback-classic:1.5.27")
 
         testImplementation(platform("org.junit:junit-bom:5.14.2"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
         testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine")
         testRuntimeOnly ("org.junit.platform:junit-platform-launcher")
-        testImplementation ("org.assertj:assertj-core:3.27.6")
+        testImplementation ("org.assertj:assertj-core:3.27.7")
         testImplementation project(':key.util')
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.20.1")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.20.1")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.0")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.0")
 
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.2'
     }

gradle/wrapper/gradle-wrapper.jar

@@ -1,6 +1,6 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-9.0.0-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.3.1-bin.zip
 networkTimeout=10000
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME

gradle/wrapper/gradle-wrapper.properties

@@ -10,5 +10,5 @@ application {
 
 dependencies {
     implementation project(":key.core")
-    implementation 'ch.qos.logback:logback-classic:1.5.24'
+    implementation 'ch.qos.logback:logback-classic:1.5.27'
 }

gradlew

@@ -28,7 +28,7 @@ dependencies {
     implementation("info.picocli:picocli:4.7.7")
 
     //logging implementation used by the slf4j
-    implementation 'ch.qos.logback:logback-classic:1.5.24'
+    implementation 'ch.qos.logback:logback-classic:1.5.27'
 
     api 'org.key-project:docking-frames-common:1.1.3p1'
     api 'org.key-project:docking-frames-core:1.1.3p1'

gradlew.bat

@@ -3,7 +3,7 @@ description = "Translation of Sequents to Isabelle"
 dependencies {
     implementation project(':key.core')
     implementation project(':key.ui')
-    implementation("de.unruh:scala-isabelle_2.13:0.4.3")
+    implementation("de.unruh:scala-isabelle_2.13:0.4.5")
 }
 
 /*