MERGE: #254

254: Use commonmark packaged by ourselves r=ice1000 a=ice1000 bors merge this part of #35 Co-authored-by: ice1000 <[email protected]>
aya-prover · Dec 3, 2021 · d169844 · d169844
2 parents 44ad907 + d8fef52
commit d169844
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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