Remove non-existent x86 version

2 files changed, 5 insertions, 15 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 38b247a033db..e2348c459353 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Apr  1 00:58:50 UTC 2019
+# Wed Apr  3 05:22:29 UTC 2019
 pkgbase = rodin
 	pkgdesc = Tool for cost effective rigorous development of dependable software systems
 	pkgver = 3.4
-	pkgrel = 1
+	pkgrel = 2
 	url = http://www.event-b.org
 	arch = i686
 	arch = x86_64
@@ -14,13 +14,11 @@ pkgbase = rodin
 	depends = fontconfig
 	depends = java-runtime
 	source = rodin.desktop
-	source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.4/rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86.tar.gz
+	source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.4/rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64.tar.gz
 	md5sums = b9941b26369aff6665dcde43091ebef9
 	md5sums = c9869435fcb8180620aa1d91d8cfa7ad
-	md5sums = 4ecb200a1b23a74cf45d757666d12510
 	sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75
 	sha256sums = 5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729
-	sha256sums = 29dd52d3a560a6e832213af9040afac1ae865e67b01145a24e0f3780f110d7b0
 
 pkgname = rodin
 
diff --git a/PKGBUILD b/PKGBUILD
index 6fc889f83e14..60036d07c033 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
 pkgname=rodin
 pkgver=3.4
 pkgver_upstream=0.201802230927-6980ca1
-pkgrel=1
+pkgrel=2
 pkgdesc="Tool for cost effective rigorous development of dependable software systems"
 arch=('i686' 'x86_64')
 url="http://www.event-b.org"
@@ -17,15 +17,7 @@ md5sums=('b9941b26369aff6665dcde43091ebef9'
 sha256sums=('aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75'
             '5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729')
 
-if test "$CARCH" == x86_64; then
-  source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86_64.tar.gz)
-  md5sums+=('c9869435fcb8180620aa1d91d8cfa7ad')
-  sha256sums+=('5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729')
-else
-  source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86.tar.gz)
-  md5sums+=('4ecb200a1b23a74cf45d757666d12510')
-  sha256sums+=('29dd52d3a560a6e832213af9040afac1ae865e67b01145a24e0f3780f110d7b0')
-fi
+source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86_64.tar.gz)
 
 package() {
   cd $srcdir/$pkgname