summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorLars Hupel2018-02-21 10:14:35 +0100
committerLars Hupel2018-02-21 10:14:35 +0100
commitb63b53cd0e55592b031fbf6dd2c3f2b80b10d927 (patch)
tree3f005c642552bafb9eda3ad5a2a0c2353e09a4bb /PKGBUILD
parentd8dc37757f69a157ad71d32c2cc90bc3b5f14ffc (diff)
downloadaur-opentheory-git.tar.gz
fix version information
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD8
1 files changed, 4 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 11687d7f6c5f..6f5beb675761 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,9 +1,9 @@
# Maintainer: Lars Hupel <lars@hupel.info>
# Contributor: Ramana Kumar <firstname|@|member.fsf.org>
pkgname=opentheory-git
-pkgver="1.3"
-_pkgver="$pkgver"
-pkgrel=1
+pkgver="1.3.r1493.45d7d5e5"
+_basever="1.3"
+pkgrel=2
pkgdesc="a tool for processing higher-order logic theory packages"
arch=('x86_64')
url="http://www.gilith.com/software/opentheory"
@@ -18,7 +18,7 @@ md5sums=('SKIP')
pkgver() {
cd "$srcdir/${pkgname%-git}"
- printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+ printf "${_basever}.r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {