Update to 1.16.2-1

2 files changed, 10 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6b590803d8a9..a09f83a07102 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Fri Oct 28 09:28:04 UTC 2016
+# Tue Apr 11 06:29:34 UTC 2017
 pkgbase = ttt2
 	pkgdesc = An automatic termination prover for term rewrite systems (TRS)
-	pkgver = 1.16
-	pkgrel = 2
+	pkgver = 1.16.2
+	pkgrel = 1
 	url = http://colo6-c703.uibk.ac.at/ttt2/
 	arch = i686
 	arch = x86_64
@@ -11,10 +11,9 @@ pkgbase = ttt2
 	makedepends = camlidl
 	makedepends = ocaml
 	depends = libxslt
-	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.16.tar.gz
-	md5sums = 7573fcb4e9432967ff4a7481a616c52a
-	sha1sums = 1e05d0c4ecd8f33748df103a806e81c634c6168d
-	sha256sums = a8e2136ec3fcbf192db9e97569d9fd6b2a52f401bab99c71c55cbafc962db797
+	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.16.2.tar.gz
+	sha1sums = 563b0ff04fcaa3772f28716d11e5ec59e09e9e15
+	sha256sums = 09c2328fa8f6b12df2fa8729a1238ad52b3251cc24c0308b629f00014332e04b
 
 pkgname = ttt2
 
diff --git a/PKGBUILD b/PKGBUILD
index 194d93637e4c..36fe42fb1e38 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Simon Legner <Simon.Legner@gmail.com>
 pkgname=ttt2
-pkgver=1.16
-pkgrel=2
+pkgver=1.16.2
+pkgrel=1
 pkgdesc="An automatic termination prover for term rewrite systems (TRS)"
 arch=('i686' 'x86_64')
 url="http://colo6-c703.uibk.ac.at/ttt2/"
@@ -21,6 +21,5 @@ package() {
 }
 
 # vim:set ts=2 sw=2 et:
-md5sums=('7573fcb4e9432967ff4a7481a616c52a')
-sha1sums=('1e05d0c4ecd8f33748df103a806e81c634c6168d')
-sha256sums=('a8e2136ec3fcbf192db9e97569d9fd6b2a52f401bab99c71c55cbafc962db797')
+sha1sums=('563b0ff04fcaa3772f28716d11e5ec59e09e9e15')
+sha256sums=('09c2328fa8f6b12df2fa8729a1238ad52b3251cc24c0308b629f00014332e04b')