diff options
author | Simon Legner | 2020-05-04 09:45:13 +0200 |
---|---|---|
committer | Simon Legner | 2020-05-04 09:45:13 +0200 |
commit | b50969b5b52cd471881d4463a44b956fe1dbe1e6 (patch) | |
tree | 883bb572c9b57f27d4d2118e04a39a1fd099558c /.SRCINFO | |
parent | 507983eebaa80ebd04da77305d88daa96b5aa655 (diff) | |
download | aur-b50969b5b52cd471881d4463a44b956fe1dbe1e6.tar.gz |
upgpkg: ttt2 1.20-1
upstream release
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = ttt2 pkgdesc = An automatic termination prover for term rewrite systems (TRS) - pkgver = 1.19.1 + pkgver = 1.20 pkgrel = 1 url = http://colo6-c703.uibk.ac.at/ttt2/ arch = i686 @@ -12,8 +12,8 @@ pkgbase = ttt2 makedepends = camlidl depends = libxslt depends = gmp - source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.19.1.tar.gz - sha256sums = e083133d9a2ba2f5af52d9fa5daa990e9753c8965098f7b63b4590d346dc9506 + source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.20.tar.gz + sha256sums = 144ed636276a179a610990fe45b9b849ffd0099b78c0a265a7d4d0e071f3cc18 pkgname = ttt2 |