From ca511588f4032270c45f96db214e4aeabb269ad4 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Fri, 9 Oct 2020 20:51:52 +0300
Subject: [PATCH] 1.4.1 -> 1.5

---
 arend.yaml            | 4 ++--
 meta/build.gradle.kts | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/arend.yaml b/arend.yaml
index 036b488c..ed070ece 100644
--- a/arend.yaml
+++ b/arend.yaml
@@ -1,6 +1,6 @@
-langVersion: 1.4.1
+langVersion: 1.5.0
 sourcesDir: src
 testsDir: test
-binariesDir: .bin
+binariesDir: bin
 extensionsDir: ext
 extensionMainClass: org.arend.lib.StdExtension
diff --git a/meta/build.gradle.kts b/meta/build.gradle.kts
index 53990caa..a8525ec6 100644
--- a/meta/build.gradle.kts
+++ b/meta/build.gradle.kts
@@ -8,7 +8,7 @@ task<JavaExec>("cliCheck") {
     group = "verification"
     dependsOn(projectArend.task(":cli:jarDep"), tasks["classes"])
     main = "-jar"
-    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.4.1-full.jar").absolutePath
+    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.5.0-full.jar").absolutePath
     args(jarDepPath, "-tcr")
     workingDir(projectDir.parent)
 }