diff options
Diffstat (limited to 'z3/gradle/libs.versions.toml')
-rw-r--r-- | z3/gradle/libs.versions.toml | 6 |
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] |
6 | junit = "5.10.1" | 6 | junit = "5.10.2" |
7 | 7 | ||
8 | [libraries] | 8 | [libraries] |
9 | asm = { group = "org.ow2.asm", name = "asm", version = "9.6" } | 9 | asm = { group = "org.ow2.asm", name = "asm", version = "9.6" } |
10 | jna = { group = "net.java.dev.jna", name = "jna", version = "5.13.0" } | 10 | jna = { group = "net.java.dev.jna", name = "jna", version = "5.14.0" } |
11 | junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" } | 11 | junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" } |
12 | junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" } | 12 | junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" } |
13 | 13 | ||
14 | [plugins] | 14 | [plugins] |
15 | versions = { id = "com.github.ben-manes.versions", version = "0.50.0" } | 15 | versions = { id = "com.github.ben-manes.versions", version = "0.51.0" } |