diff options
| author | Antoine Lubineau | 2012-01-08 11:45:21 +0100 |
|---|---|---|
| committer | Antoine Lubineau | 2012-01-08 11:45:21 +0100 |
| commit | 7d5fc775bc0755366605436805476c03bf00cb16 (patch) | |
| tree | 09cc7495632b1ca3c776bec2934d2a3294f558c5 | |
| parent | 6ce92135fff40f2a3426d8cfcc4521b74622e5e3 (diff) | |
| download | aur-7d5fc775bc0755366605436805476c03bf00cb16.tar.gz | |
tla-tools: sha256sums have changed
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
2 files changed, 14 insertions, 16 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 @@ -1,8 +1,8 @@ # Maintainer: Antoine Lubineau <antoine@lubignon.info> pkgname=tla-tools -pkgver=2 -pkgrel=2 +pkgver=2.1.0 +pkgrel=1 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)" arch=('any') url="http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html" @@ -16,13 +16,11 @@ source=( 'tla2tex' 'tlc' ) -md5sums=( - 'c5931a7ec9426dd17795543a1d911a48' - '389c14cadf763d5ae2b5b9719b19e5ba' - '142d348ca24b7a7b0999d670908030a7' - 'cdb96d780f764111ec60cf67d1d158f2' - 'b89d785e2b264d0f32a69adcabb4e7d8' -) +sha256sums=('cc7efd6b9798f2962a16e894571edb65621aed3d3376f4829145a08e996ab86d' + '6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8' + '67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a' + '9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d' + '65959359b44562da7263e449bbeae33ede3a0a647f6044a01a0babf10ca0bd19') package() { mkdir -p "$pkgdir/usr/share/java" "$pkgdir/usr/bin" "$pkgdir/usr/share/licenses/$pkgname" |