diff options
| author | frederik | 2018-04-07 00:53:47 +0200 |
|---|---|---|
| committer | frederik | 2018-04-07 00:54:11 +0200 |
| commit | e88c946a7eab7ca2332a88f7c654f6f991036641 (patch) | |
| tree | 55aa85eddfc788ce23776b58df01c49250946a0f | |
| parent | 5df8c0555e38949239b7bb908344888044e545ad (diff) | |
| download | aur-e88c946a7eab7ca2332a88f7c654f6f991036641.tar.gz | |
update to 6.4.8
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 8 insertions, 10 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Sun Jun 25 11:04:19 UTC 2017 pkgbase = spin pkgdesc = Tool for the formal verification of distributed software systems - pkgver = 6.4.6 - pkgrel = 2 + pkgver = 6.4.8 + pkgrel = 1 url = https://spinroot.com/ arch = i686 arch = x86_64 @@ -13,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/6.4.6.tar.gz - sha512sums = 5c59d8af7e8f73c855aa1be7059cb7881829ef3d9b0a8775c182d6536bf4250f966cf13efad5ec1926d8b32a34e7b8428022e1c52346015bcb6056774da5818f + source = https://github.com/freswa/spin/archive/v6.4.8.tar.gz + sha512sums = 92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37 pkgname = spin @@ -5,8 +5,8 @@ # Contributor: Earnest <zibeon@gmail.com> pkgname=spin -pkgver=6.4.6 -pkgrel=2 +pkgver=6.4.8 +pkgrel=1 pkgdesc='Tool for the formal verification of distributed software systems' arch=('i686' 'x86_64') url='https://spinroot.com/' @@ -16,8 +16,8 @@ optdepends=('tcl: ispin graphical interface' 'swarm: improved performance on large verification problems' 'modex: extract verification models from implementation C code' 'ispin: GUI for Spin') -source=(https://github.com/freswa/spin/archive/${pkgver}.tar.gz) -sha512sums=('5c59d8af7e8f73c855aa1be7059cb7881829ef3d9b0a8775c182d6536bf4250f966cf13efad5ec1926d8b32a34e7b8428022e1c52346015bcb6056774da5818f') +source=(https://github.com/freswa/spin/archive/v${pkgver}.tar.gz) +sha512sums=('92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37') build() { cd "${srcdir}/${pkgname}-${pkgver}/Src${pkgver}" |