Bump the gradle-deps group with 7 updates

Bumps the gradle-deps group with 7 updates:

| Package | From | To |
| --- | --- | --- |
| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.5.24` | `1.5.27` |
| [org.assertj:assertj-core](https://github.com/assertj/assertj) | `3.27.6` | `3.27.7` |
| [com.fasterxml.jackson.dataformat:jackson-dataformat-yaml](https://github.com/FasterXML/jackson-dataformats-text) | `2.20.1` | `2.21.0` |
| com.fasterxml.jackson.datatype:jackson-datatype-jsr310 | `2.20.1` | `2.21.0` |
| com.diffplug.spotless | `8.1.0` | `8.2.1` |
| de.unruh:scala-isabelle_2.13 | `0.4.3` | `0.4.5` |
| gradle-wrapper | `9.0.0` | `9.3.1` |


Updates `ch.qos.logback:logback-classic` from 1.5.24 to 1.5.27
- [Release notes](https://github.com/qos-ch/logback/releases)
- [Commits](qos-ch/logback@v_1.5.24...v_1.5.27)

Updates `org.assertj:assertj-core` from 3.27.6 to 3.27.7
- [Release notes](https://github.com/assertj/assertj/releases)
- [Commits](assertj/assertj@assertj-build-3.27.6...assertj-build-3.27.7)

Updates `com.fasterxml.jackson.dataformat:jackson-dataformat-yaml` from 2.20.1 to 2.21.0
- [Commits](FasterXML/jackson-dataformats-text@jackson-dataformats-text-2.20.1...jackson-dataformats-text-2.21.0)

Updates `com.fasterxml.jackson.datatype:jackson-datatype-jsr310` from 2.20.1 to 2.21.0

Updates `com.diffplug.spotless` from 8.1.0 to 8.2.1

Updates `de.unruh:scala-isabelle_2.13` from 0.4.3 to 0.4.5

Updates `gradle-wrapper` from 9.0.0 to 9.3.1

---
updated-dependencies:
- dependency-name: ch.qos.logback:logback-classic
  dependency-version: 1.5.27
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.assertj:assertj-core
  dependency-version: 3.27.7
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.dataformat:jackson-dataformat-yaml
  dependency-version: 2.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.datatype:jackson-datatype-jsr310
  dependency-version: 2.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.diffplug.spotless
  dependency-version: 8.2.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: de.unruh:scala-isabelle_2.13
  dependency-version: 0.4.5
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: gradle-wrapper
  dependency-version: 9.3.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

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")
 }
 
 /*