diff options
author | Antoine Lubineau | 2012-10-14 14:21:59 +0200 |
---|---|---|
committer | Antoine Lubineau | 2012-10-14 14:21:59 +0200 |
commit | f30fe5b19072a04897f0f0de451c8f5d37b6ee90 (patch) | |
tree | 6c7f6660fafabd740a70d541a6bc751d15650ee4 | |
parent | 7d5fc775bc0755366605436805476c03bf00cb16 (diff) | |
download | aur-f30fe5b19072a04897f0f0de451c8f5d37b6ee90.tar.gz |
tla-tools: 2.1.0 -> 2.1.3
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = tla-tools pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) - pkgver = 2.1.0 + pkgver = 2.1.3 pkgrel = 1 url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html arch = any @@ -12,7 +12,7 @@ pkgbase = tla-tools source = sany source = tla2tex source = tlc - sha256sums = cc7efd6b9798f2962a16e894571edb65621aed3d3376f4829145a08e996ab86d + sha256sums = c8575fa589bf5e8ee8ced8cb464ab7763d6177f2994a7cf172d0997787e537a8 sha256sums = 6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8 sha256sums = 67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a sha256sums = 9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d @@ -1,7 +1,7 @@ # Maintainer: Antoine Lubineau <antoine@lubignon.info> pkgname=tla-tools -pkgver=2.1.0 +pkgver=2.1.3 pkgrel=1 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)" arch=('any') @@ -16,7 +16,7 @@ source=( 'tla2tex' 'tlc' ) -sha256sums=('cc7efd6b9798f2962a16e894571edb65621aed3d3376f4829145a08e996ab86d' +sha256sums=('c8575fa589bf5e8ee8ced8cb464ab7763d6177f2994a7cf172d0997787e537a8' '6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8' '67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a' '9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d' |