summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO14
1 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ab1fc1cb6f8f..459a0acff1a9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = tla-tools
pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)
- pkgver = 2
- pkgrel = 2
+ pkgver = 2.1.0
+ pkgrel = 1
url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html
arch = any
license = custom:MSR-EULA
@@ -12,11 +12,11 @@ pkgbase = tla-tools
source = sany
source = tla2tex
source = tlc
- md5sums = c5931a7ec9426dd17795543a1d911a48
- md5sums = 389c14cadf763d5ae2b5b9719b19e5ba
- md5sums = 142d348ca24b7a7b0999d670908030a7
- md5sums = cdb96d780f764111ec60cf67d1d158f2
- md5sums = b89d785e2b264d0f32a69adcabb4e7d8
+ sha256sums = cc7efd6b9798f2962a16e894571edb65621aed3d3376f4829145a08e996ab86d
+ sha256sums = 6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8
+ sha256sums = 67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a
+ sha256sums = 9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d
+ sha256sums = 65959359b44562da7263e449bbeae33ede3a0a647f6044a01a0babf10ca0bd19
pkgname = tla-tools