diff options
| author | Ivan Kuraj | 2019-03-31 20:58:13 -0400 |
|---|---|---|
| committer | Ivan Kuraj | 2019-03-31 20:59:19 -0400 |
| commit | c1c619599d24527c8853446fd1a369f59fca26f6 (patch) | |
| tree | db927c6be6116928c16ba9cf56f6163561360704 /.SRCINFO | |
| parent | acbb5cf103008b20a69fc01275bba23e3fd858e7 (diff) | |
| download | aur-c1c619599d24527c8853446fd1a369f59fca26f6.tar.gz | |
Update to the latest version
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 |