summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD12
1 files changed, 2 insertions, 10 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 6fc889f83e1..60036d07c03 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