diff options
| -rw-r--r-- | testing/spin/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testing/spin/APKBUILD b/testing/spin/APKBUILD index 8b396d07b0..99bb0933ab 100644 --- a/testing/spin/APKBUILD +++ b/testing/spin/APKBUILD @@ -1,7 +1,7 @@ # Contributor: Daniel Sabogal <dsabogalcc@gmail.com> # Maintainer: pkgname=spin -pkgver=6.5.0 +pkgver=6.5.1 _pkgver=${pkgver//./} pkgrel=0 pkgdesc="Tool for formal verification of distributed software systems" @@ -25,4 +25,4 @@ package() { install -m755 spin "$pkgdir"/usr/bin } -sha512sums="0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24 spin-6.5.0.tar.gz" +sha512sums="e852d4a5ba92d58350dc1624e6d204e918e31dd22ce4bf15275390d56a679fee29f0fb662de0a00f7c303b7287357c5a4c11a01ebd178712a9229aa830393a93 spin-6.5.1.tar.gz" |