From a67c3121bbbbd5b99b421dada251bb3525718e7d Mon Sep 17 00:00:00 2001 From: ice1000 Date: Wed, 3 Jan 2024 22:46:59 -0500 Subject: [PATCH] version: release 0.30 --- gradle/libs.versions.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index b2f17608f4..8c1d146115 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -2,20 +2,20 @@ # The Version of this project, aka, The Aya Theorem Prover. # Remove "-SNAPSHOT" suffix and run gradle publish to release a new version. # After that, increase the version number and add "-SNAPSHOT" suffix back for next cycle. -project = "0.29.4" +project = "0.30.0-SNAPSHOT" # https://openjdk.org/ java = "21" # https://github.com/JetBrains/java-annotations -annotations = "24.0.1" +annotations = "24.1.0" kala = "0.69.0" picocli = "4.7.5" build-util = "0.0.21" # https://github.com/graalvm/native-build-tools graal-tools = "0.9.28" # https://github.com/jline/jline3 -jline = "3.24.1" +jline = "3.25.0" # https://github.com/commonmark/commonmark-java commonmark = "0.21.1" jimgui = "v0.21.0"