summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Wiesner2020-03-28 17:38:55 +0100
committerSebastian Wiesner2020-03-28 17:38:55 +0100
commit9563cb3699f6d39f56431bda608a0ee2fc758ffd (patch)
tree8b0e650971c0d7e543153e61b468a34f50af56e4
parent8a674088b2587f657185094af639c7b2bd8699b5 (diff)
downloadaur-9563cb3699f6d39f56431bda608a0ee2fc758ffd.tar.gz
Start maintaining
-rw-r--r--PKGBUILD15
1 files changed, 9 insertions, 6 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 04a3aaea969..b099fa664da 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,4 +1,5 @@
-# Maintainer: Genki Sky <alt+archlinux.org@genki.is>
+# Maintainer: Sebastian Wiesner <sebastian@swsnr.de>
+# Contributor: Genki Sky <alt+archlinux.org@genki.is>
pkgname=tla-toolbox
pkgver=1.6.0
@@ -9,11 +10,13 @@ url='http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
license=('MIT')
depends=('java-runtime')
source=("https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-$pkgver-linux.gtk.x86_64.zip")
-sha256sums=('c1622b4e21fc3985a276e8814478b702c23f20e4c114773f9a5ec9542b50199b')
+md5sums=('efbe2965b4727f041be8ec78ff7f84f2')
+sha1sums=('b0fca8d26568c5304b5e4d5ab40f3ffe1ed48ba1')
+sha512sums=('f58ad74fe627f52d77687f29c2fa1d9d6f0039bc640f15b72ff0dea8c33ee590d7b7c7a8b32725503bc8d0ac845778ceb02ba75cf1ec5a93ce255f8bec878433')
package() {
- mkdir -p "$pkgdir"/usr/share/java/tla-toolbox
- cp -r toolbox/* "$pkgdir"/usr/share/java/tla-toolbox/
- mkdir -p "$pkgdir"/usr/bin
- ln -s '/usr/share/java/tla-toolbox/toolbox' "$pkgdir"/usr/bin/tla-toolbox
+ mkdir -p "$pkgdir/usr/share/java/tla-toolbox"
+ cp -r toolbox/* "$pkgdir/usr/share/java/tla-toolbox/"
+ mkdir -p "$pkgdir/usr/bin"
+ ln -s '/usr/share/java/tla-toolbox/toolbox' "$pkgdir/usr/bin/tla-toolbox"
}