Update to 1.15-1

2 files changed, 9 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index bd972b84e373..e1c3dcaeba16 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = ttt2
 	pkgdesc = An automatic termination prover for term rewrite systems (TRS)
-	pkgver = 1.14
+	pkgver = 1.15
 	pkgrel = 1
 	url = http://colo6-c703.uibk.ac.at/ttt2/
 	arch = i686
@@ -9,9 +9,10 @@ pkgbase = ttt2
 	makedepends = camlidl
 	makedepends = ocaml
 	depends = libxslt
-	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.14.tar.gz
-	md5sums = 7926caffad7b15c3b6c58d09d97f2687
-	sha1sums = e658607ab0b09f3c75e0d63703c39caa76c337a2
+	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.15.tar.gz
+	md5sums = aaf7071b00a425a94df8dc213ffe03bf
+	sha1sums = 36c05cf56372399a5bb480a7df50aa308fdc1841
+	sha256sums = ebe50cd81f6851abeb9046423fb55ef140c81656d5282a3ebe36433c5a93d7e2
 
 pkgname = ttt2
 
diff --git a/PKGBUILD b/PKGBUILD
index 52154c6c9b02..b2c074c47441 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Simon Legner <Simon.Legner@gmail.com>
 pkgname=ttt2
-pkgver=1.14
+pkgver=1.15
 pkgrel=1
 pkgdesc="An automatic termination prover for term rewrite systems (TRS)"
 arch=('i686' 'x86_64')
@@ -21,5 +21,6 @@ package() {
 }
 
 # vim:set ts=2 sw=2 et:
-md5sums=('7926caffad7b15c3b6c58d09d97f2687')
-sha1sums=('e658607ab0b09f3c75e0d63703c39caa76c337a2')
+sha1sums=('36c05cf56372399a5bb480a7df50aa308fdc1841')
+sha256sums=('ebe50cd81f6851abeb9046423fb55ef140c81656d5282a3ebe36433c5a93d7e2')
+md5sums=('aaf7071b00a425a94df8dc213ffe03bf')