Update to 1.17-1

2 files changed, 12 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index a09f83a07102..cb80ea3700fd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,19 +1,21 @@
 # Generated by mksrcinfo v8
-# Tue Apr 11 06:29:34 UTC 2017
+# Mon May 14 07:01:43 UTC 2018
 pkgbase = ttt2
 	pkgdesc = An automatic termination prover for term rewrite systems (TRS)
-	pkgver = 1.16.2
+	pkgver = 1.17
 	pkgrel = 1
 	url = http://colo6-c703.uibk.ac.at/ttt2/
 	arch = i686
 	arch = x86_64
 	license = LGPL
-	makedepends = camlidl
 	makedepends = ocaml
+	makedepends = ocaml-findlib
+	makedepends = ocaml-num
+	makedepends = camlidl
 	depends = libxslt
-	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.16.2.tar.gz
-	sha1sums = 563b0ff04fcaa3772f28716d11e5ec59e09e9e15
-	sha256sums = 09c2328fa8f6b12df2fa8729a1238ad52b3251cc24c0308b629f00014332e04b
+	depends = gmp
+	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.17.tar.gz
+	sha256sums = b6237e98d100e64275fba7594bdddbe46f52c0b7ce95e4b8095b404fd7f679d5
 
 pkgname = ttt2
 
diff --git a/PKGBUILD b/PKGBUILD
index 36fe42fb1e38..8e354542d2d2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
 # Maintainer: Simon Legner <Simon.Legner@gmail.com>
 pkgname=ttt2
-pkgver=1.16.2
+pkgver=1.17
 pkgrel=1
 pkgdesc="An automatic termination prover for term rewrite systems (TRS)"
 arch=('i686' 'x86_64')
 url="http://colo6-c703.uibk.ac.at/ttt2/"
 license=('LGPL')
-depends=('libxslt')
-makedepends=('camlidl' 'ocaml')
+depends=('libxslt' 'gmp')
+makedepends=('ocaml' 'ocaml-findlib' 'ocaml-num' 'camlidl')
 source=(http://colo6-c703.uibk.ac.at/ttt2/download/$pkgname-$pkgver.tar.gz)
 
 build() {
@@ -21,5 +21,4 @@ package() {
 }
 
 # vim:set ts=2 sw=2 et:
-sha1sums=('563b0ff04fcaa3772f28716d11e5ec59e09e9e15')
-sha256sums=('09c2328fa8f6b12df2fa8729a1238ad52b3251cc24c0308b629f00014332e04b')
+sha256sums=('b6237e98d100e64275fba7594bdddbe46f52c0b7ce95e4b8095b404fd7f679d5')