Update version

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2839df5790b1..aff5d1c44ff8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
 # Generated by mksrcinfo v8
-# Mon Mar  7 23:45:46 UTC 2016
+# Thu Apr 28 09:40:25 UTC 2016
 pkgbase = opentheory
 	pkgdesc = a tool for processing higher-order logic theory packages
-	pkgver = 1.3r20160204
+	pkgver = 1.3r20160428
 	pkgrel = 1
 	url = http://www.gilith.com/software/opentheory
 	arch = i686
 	arch = x86_64
 	license = MIT
 	makedepends = mlton
-	source = opentheory-1.3r20160204.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
-	md5sums = e576e0a023c360dd3263ac332d9c3562
+	source = opentheory-1.3r20160428.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
+	md5sums = 2c060377aad4a4899f086b0aaa8c599c
 
 pkgname = opentheory
 
diff --git a/PKGBUILD b/PKGBUILD
index 38da4f844e72..e51c1a686fd9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Ramana Kumar <at gmail dot com>
 pkgname=opentheory
-pkgver=1.3r20160204
+pkgver=1.3r20160428
 pkgrel=1
 pkgdesc="a tool for processing higher-order logic theory packages"
 arch=('i686' 'x86_64')
@@ -10,7 +10,7 @@ groups=()
 depends=()
 makedepends=(mlton)
 source=($pkgname-$pkgver.tar.gz::$url/$pkgname.tar.gz)
-md5sums=('e576e0a023c360dd3263ac332d9c3562')
+md5sums=('2c060377aad4a4899f086b0aaa8c599c')
 
 build() {
   cd "$srcdir/$pkgname"