diff options
author | frederik | 2019-01-22 16:52:17 +0100 |
---|---|---|
committer | frederik | 2019-01-22 16:52:17 +0100 |
commit | 32879cafe0f749ab76e2fb513bdbd42dcb3eb638 (patch) | |
tree | 78d73b123c9279fbc305c82d6973262b5b0faf7e | |
parent | e88c946a7eab7ca2332a88f7c654f6f991036641 (diff) | |
download | aur-32879cafe0f749ab76e2fb513bdbd42dcb3eb638.tar.gz |
update to 6.4.9
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = spin pkgdesc = Tool for the formal verification of distributed software systems - pkgver = 6.4.8 + pkgver = 6.4.9 pkgrel = 1 url = https://spinroot.com/ arch = i686 @@ -11,8 +11,8 @@ pkgbase = spin optdepends = swarm: improved performance on large verification problems optdepends = modex: extract verification models from implementation C code optdepends = ispin: GUI for Spin - source = https://github.com/freswa/spin/archive/v6.4.8.tar.gz - sha512sums = 92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37 + source = https://github.com/freswa/spin/archive/v6.4.9.tar.gz + sha512sums = 0a69001de2f16815a804f5c8df214ca93f5f47b5e5fcd9335191b4daaff56e4cbe3ec39d797b58de35cc0eda564cb21fbf8ba3c83acc02ea2aedb876c736712f pkgname = spin @@ -5,7 +5,7 @@ # Contributor: Earnest <zibeon@gmail.com> pkgname=spin -pkgver=6.4.8 +pkgver=6.4.9 pkgrel=1 pkgdesc='Tool for the formal verification of distributed software systems' arch=('i686' 'x86_64') @@ -17,7 +17,7 @@ optdepends=('tcl: ispin graphical interface' 'modex: extract verification models from implementation C code' 'ispin: GUI for Spin') source=(https://github.com/freswa/spin/archive/v${pkgver}.tar.gz) -sha512sums=('92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37') +sha512sums=('0a69001de2f16815a804f5c8df214ca93f5f47b5e5fcd9335191b4daaff56e4cbe3ec39d797b58de35cc0eda564cb21fbf8ba3c83acc02ea2aedb876c736712f') build() { cd "${srcdir}/${pkgname}-${pkgver}/Src${pkgver}" |