2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1d2d50a43cae..94292e2dd877 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = opentheory-git
 	pkgdesc = a tool for processing higher-order logic theory packages
-	pkgver = 1.3
-	pkgrel = 1
+	pkgver = 1.3.r1493.45d7d5e5
+	pkgrel = 2
 	url = http://www.gilith.com/software/opentheory
 	arch = x86_64
 	license = MIT
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() {