repo: Update dependencies

build.gradle.kts

@@ -28,7 +28,7 @@ plugins {
     id("com.github.jk1.dependency-license-report") version "2.0"
     id("com.github.johnrengelman.shadow") version "7.1.2"
     id("org.ajoberstar.reckon") version "0.16.1"
-    id("org.graalvm.buildtools.native") version "0.9.11"
+    id("org.graalvm.buildtools.native") version "0.9.16"
 }
 
 repositories {

buildscript-gradle.lockfile

@@ -8,10 +8,10 @@ com.diffplug.spotless:com.diffplug.spotless.gradle.plugin:6.0.0=classpath
 com.diffplug.spotless:spotless-lib-extra:2.20.0=classpath
 com.diffplug.spotless:spotless-lib:2.20.0=classpath
 com.diffplug.spotless:spotless-plugin-gradle:6.0.0=classpath
-com.fasterxml.jackson.core:jackson-annotations:2.12.4=classpath
-com.fasterxml.jackson.core:jackson-core:2.12.4=classpath
-com.fasterxml.jackson.core:jackson-databind:2.12.4=classpath
-com.fasterxml.jackson:jackson-bom:2.12.4=classpath
+com.fasterxml.jackson.core:jackson-annotations:2.13.3=classpath
+com.fasterxml.jackson.core:jackson-core:2.13.3=classpath
+com.fasterxml.jackson.core:jackson-databind:2.13.3=classpath
+com.fasterxml.jackson:jackson-bom:2.13.3=classpath
 com.github.jk1.dependency-license-report:com.github.jk1.dependency-license-report.gradle.plugin:2.0=classpath
 com.github.jk1:gradle-license-report:2.0=classpath
 com.github.johnrengelman.shadow:com.github.johnrengelman.shadow.gradle.plugin:7.1.2=classpath
@@ -41,19 +41,11 @@ org.codehaus.groovy:groovy-xml:3.0.9=classpath
 org.codehaus.groovy:groovy:3.0.9=classpath
 org.codehaus.plexus:plexus-utils:3.4.1=classpath
 org.eclipse.jgit:org.eclipse.jgit:6.0.0.202111291000-r=classpath
-org.graalvm.buildtools.native:org.graalvm.buildtools.native.gradle.plugin:0.9.11=classpath
-org.graalvm.buildtools:jvm-reachability-metadata:0.9.11=classpath
-org.graalvm.buildtools:native-gradle-plugin:0.9.11=classpath
-org.graalvm.buildtools:utils:0.9.11=classpath
+org.graalvm.buildtools.native:org.graalvm.buildtools.native.gradle.plugin:0.9.16=classpath
+org.graalvm.buildtools:graalvm-reachability-metadata:0.9.16=classpath
+org.graalvm.buildtools:native-gradle-plugin:0.9.16=classpath
+org.graalvm.buildtools:utils:0.9.16=classpath
 org.jdom:jdom2:2.0.6=classpath
-org.junit.jupiter:junit-jupiter-api:5.8.1=classpath
-org.junit.jupiter:junit-jupiter-engine:5.8.1=classpath
-org.junit.jupiter:junit-jupiter-params:5.8.1=classpath
-org.junit.jupiter:junit-jupiter:5.8.1=classpath
-org.junit.platform:junit-platform-commons:1.8.1=classpath
-org.junit.platform:junit-platform-engine:1.8.1=classpath
-org.junit:junit-bom:5.8.1=classpath
-org.opentest4j:opentest4j:1.2.0=classpath
 org.ow2.asm:asm-analysis:9.2=classpath
 org.ow2.asm:asm-commons:9.2=classpath
 org.ow2.asm:asm-tree:9.2=classpath

flake.nix

@@ -85,7 +85,7 @@
           src = ./.;
 
           nativeBuildInputs =
-            [ pkgs.bash pkgs.git pkgs.glibcLocales examples jdk z3 ];
+            [ pkgs.bash pkgs.git pkgs.glibcLocales jdk z3 ];
           ATLAS_HOME = "${examples}";
           LANG = "en_US.UTF-8";
           LOCALE_ARCHIVE = "${pkgs.glibcLocales}/lib/locale/locale-archive";