fix: Follow package guidelines, update email

2 files changed, 11 insertions, 14 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 466dae02e0ee..32525abffbbd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -3,13 +3,12 @@ pkgbase = tla-toolbox
 	pkgver = 1.5.2
 	pkgrel = 1
 	url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
+	arch = i686
 	arch = x86_64
 	license = MIT
 	depends = java-runtime
-	provides = tla-toolbox
-	conflicts = tla-toolbox
 	source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip
-	md5sums = SKIP
+	md5sums = a93f9ea07ca303d68f81f2be386f9c84
 
 pkgname = tla-toolbox
 
diff --git a/PKGBUILD b/PKGBUILD
index 70312aafa0ba..76c9ced1016f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,21 +1,19 @@
-# Maintainer: Genki Marshall <genki at genki dot is>
+# Maintainer: Genki Sky <arch at genki dot is>
 
 pkgname=tla-toolbox
 pkgver=1.5.2
 pkgrel=1
 pkgdesc="IDE for the TLA+ tools"
-arch=('x86_64')
-url="http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html"
+arch=('i686' 'x86_64')
+url='http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
 license=('MIT')
 depends=('java-runtime')
-provides=("${pkgname}")
-conflicts=("${pkgname}")
-source=('https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip')
-md5sums=('SKIP')
+source=("https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.$CARCH.zip")
+md5sums=('a93f9ea07ca303d68f81f2be386f9c84')
 
 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
 }