From d8fef52fd2e8c75e1dc66a7c98bc14fd5d43924f Mon Sep 17 00:00:00 2001 From: ice1000 Date: Thu, 2 Dec 2021 23:56:18 -0500 Subject: [PATCH] BUILD: use commonmark packaged by ourselves --- base/build.gradle.kts | 2 +- gradle/deps.properties | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/base/build.gradle.kts b/base/build.gradle.kts index c2010f1d5c..0f4554116f 100644 --- a/base/build.gradle.kts +++ b/base/build.gradle.kts @@ -6,7 +6,7 @@ dependencies { api(project(":pretty")) api(project(":parser")) val deps: java.util.Properties by rootProject.ext - implementation("org.commonmark", "commonmark", version = deps.getProperty("version.commonmark")) + implementation("org.aya-prover", "commonmark", version = deps.getProperty("version.commonmark")) testImplementation("org.junit.jupiter", "junit-jupiter", version = deps.getProperty("version.junit")) testImplementation("org.hamcrest", "hamcrest", version = deps.getProperty("version.hamcrest")) testImplementation(project(":cli")) diff --git a/gradle/deps.properties b/gradle/deps.properties index c13fd15753..920b7884c9 100644 --- a/gradle/deps.properties +++ b/gradle/deps.properties @@ -11,5 +11,5 @@ version.picocli=4.6.2 version.jimgui=v0.21.0 version.lsp4j=0.12.0 version.gson=2.8.9 -version.commonmark=0.18.0 +version.commonmark=0.18.1 version.jline=3.21.0