aboutsummaryrefslogtreecommitdiffstats
path: root/z3/gradle/libs.versions.toml
diff options
context:
space:
mode:
Diffstat (limited to 'z3/gradle/libs.versions.toml')
-rw-r--r--z3/gradle/libs.versions.toml6
1 files changed, 3 insertions, 3 deletions
diff --git a/z3/gradle/libs.versions.toml b/z3/gradle/libs.versions.toml
index 88cf8083..7c6c5ad7 100644
--- a/z3/gradle/libs.versions.toml
+++ b/z3/gradle/libs.versions.toml
@@ -3,13 +3,13 @@
3# SPDX-License-Identifier: Apache-2.0 3# SPDX-License-Identifier: Apache-2.0
4 4
5[versions] 5[versions]
6junit = "5.10.1" 6junit = "5.10.2"
7 7
8[libraries] 8[libraries]
9asm = { group = "org.ow2.asm", name = "asm", version = "9.6" } 9asm = { group = "org.ow2.asm", name = "asm", version = "9.6" }
10jna = { group = "net.java.dev.jna", name = "jna", version = "5.13.0" } 10jna = { group = "net.java.dev.jna", name = "jna", version = "5.14.0" }
11junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" } 11junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" }
12junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" } 12junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" }
13 13
14[plugins] 14[plugins]
15versions = { id = "com.github.ben-manes.versions", version = "0.50.0" } 15versions = { id = "com.github.ben-manes.versions", version = "0.51.0" }