diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 |