summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Kuraj2019-03-31 20:58:13 -0400
committerIvan Kuraj2019-03-31 20:59:19 -0400
commitc1c619599d24527c8853446fd1a369f59fca26f6 (patch)
treedb927c6be6116928c16ba9cf56f6163561360704
parentacbb5cf103008b20a69fc01275bba23e3fd858e7 (diff)
downloadaur-c1c619599d24527c8853446fd1a369f59fca26f6.tar.gz
Update to the latest version
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD15
2 files changed, 14 insertions, 11 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 5371cb593118..38b247a033db 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Thu May 25 18:29:39 UTC 2017
+# Mon Apr 1 00:58:50 UTC 2019
pkgbase = rodin
pkgdesc = Tool for cost effective rigorous development of dependable software systems
- pkgver = 3.3
+ pkgver = 3.4
pkgrel = 1
url = http://www.event-b.org
arch = i686
@@ -14,13 +14,13 @@ pkgbase = rodin
depends = fontconfig
depends = java-runtime
source = rodin.desktop
- source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.3/rodin-3.3.0.201704022034-f9fbb0d-linux.gtk.x86_64.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.tar.gz
md5sums = b9941b26369aff6665dcde43091ebef9
+ md5sums = c9869435fcb8180620aa1d91d8cfa7ad
md5sums = 4ecb200a1b23a74cf45d757666d12510
- md5sums = 3b68c78b70e53199243b7d447d3d1aa5
sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75
+ sha256sums = 5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729
sha256sums = 29dd52d3a560a6e832213af9040afac1ae865e67b01145a24e0f3780f110d7b0
- sha256sums = 2f685073f034f29dac67e02d8529b1f4436798fbe896163f7f35e67335110517
pkgname = rodin
diff --git a/PKGBUILD b/PKGBUILD
index 3c6b02a899a7..6fc889f83e14 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,9 +1,10 @@
# Contributor: kaptoxic
+# Contributor: sseneca
# Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>
pkgname=rodin
-pkgver=3.3
-pkgver_upstream=0.201704022034-f9fbb0d
+pkgver=3.4
+pkgver_upstream=0.201802230927-6980ca1
pkgrel=1
pkgdesc="Tool for cost effective rigorous development of dependable software systems"
arch=('i686' 'x86_64')
@@ -11,13 +12,15 @@ url="http://www.event-b.org"
license=('CPL' 'EPL')
depends=('python' 'libxrender' 'fontconfig' 'java-runtime')
source=('rodin.desktop')
-md5sums=('b9941b26369aff6665dcde43091ebef9')
-sha256sums=('aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75')
+md5sums=('b9941b26369aff6665dcde43091ebef9'
+ 'c9869435fcb8180620aa1d91d8cfa7ad')
+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+=('3b68c78b70e53199243b7d447d3d1aa5')
- sha256sums+=('2f685073f034f29dac67e02d8529b1f4436798fbe896163f7f35e67335110517')
+ 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')