diff options
Diffstat (limited to 'z3/gradle/libs.versions.toml')
-rw-r--r-- | z3/gradle/libs.versions.toml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/z3/gradle/libs.versions.toml b/z3/gradle/libs.versions.toml new file mode 100644 index 00000000..7c6c5ad7 --- /dev/null +++ b/z3/gradle/libs.versions.toml | |||
@@ -0,0 +1,15 @@ | |||
1 | # SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
2 | # | ||
3 | # SPDX-License-Identifier: Apache-2.0 | ||
4 | |||
5 | [versions] | ||
6 | junit = "5.10.2" | ||
7 | |||
8 | [libraries] | ||
9 | asm = { group = "org.ow2.asm", name = "asm", version = "9.6" } | ||
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" } | ||
12 | junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" } | ||
13 | |||
14 | [plugins] | ||
15 | versions = { id = "com.github.ben-manes.versions", version = "0.51.0" } | ||