bump version

2 files changed, 9 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b19b9879a08a..08c734581908 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,15 @@
-# Generated by mksrcinfo v8
-# Mon May 23 04:34:00 UTC 2016
 pkgbase = opentheory
 	pkgdesc = a tool for processing higher-order logic theory packages
-	pkgver = 1.3r20160515
+	pkgver = 1.3.20180226
 	pkgrel = 1
+	epoch = 1
 	url = http://www.gilith.com/software/opentheory
 	arch = i686
 	arch = x86_64
 	license = MIT
 	makedepends = mlton
-	source = opentheory-1.3r20160515.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
-	md5sums = 6bf742423e8a06392803c582882388e3
+	source = https://github.com/gilith/opentheory/releases/download/v1.3.20180226/opentheory.tar.gz
+	sha256sums = 888ad4fa39af1c918e83cb3f6e0efe67662bb6d5a4e967df5292cc338a5e9521
 
 pkgname = opentheory
 
diff --git a/PKGBUILD b/PKGBUILD
index 68e1d72ff3a3..fec85cbb3629 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,8 @@
 # Maintainer: Ramana Kumar <firstname|@|member.fsf.org>
+# Contributor: Lars Hupel <lars@hupel.info>
 pkgname=opentheory
-pkgver=1.3r20160515
+epoch=1
+pkgver=1.3.20180226
 pkgrel=1
 pkgdesc="a tool for processing higher-order logic theory packages"
 arch=('i686' 'x86_64')
@@ -9,8 +11,8 @@ license=('MIT')
 groups=()
 depends=()
 makedepends=(mlton)
-source=($pkgname-$pkgver.tar.gz::$url/$pkgname.tar.gz)
-md5sums=('6bf742423e8a06392803c582882388e3')
+source=("https://github.com/gilith/$pkgname/releases/download/v$pkgver/$pkgname.tar.gz")
+sha256sums=('888ad4fa39af1c918e83cb3f6e0efe67662bb6d5a4e967df5292cc338a5e9521')
 
 build() {
   cd "$srcdir/$pkgname"