summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorKonstantin Nisht2020-10-05 19:32:40 +0300
committerKonstantin Nisht2020-10-05 19:32:40 +0300
commit2fd136428bb2e51d0cad9c6d86cd5b3d8267c396 (patch)
treea06a2a1ce945b33ca9f6b1e14313f63838ed2f53 /PKGBUILD
parentfedcaf03ebcc1a3bb36e77d675a3f042f952f5b6 (diff)
downloadaur-2fd136428bb2e51d0cad9c6d86cd5b3d8267c396.tar.gz
Update relatve package version
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3d94cd9cfc2..b2818d0666e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Konstantin Nisht <zeron DOT n1 AT yandex DOT ru>
pkgname=arend
pkgver=1.4.1
-pkgrel=1
+pkgrel=2
pkgdesc="Proof assistant based on Homotopy Type Theory"
arch=(x86_64)
url="https://arend-lang.github.io/"