diff options
| author | Leo <thinkabit.ukim@gmail.com> | 2020-02-03 07:44:14 +0100 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2020-02-03 08:12:06 +0100 |
| commit | ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b (patch) | |
| tree | 74b0bb5886715ee2c522f3da0a3e334a31cfd3de /testing/spin | |
| parent | be584cc2d7de4205bd03007738a909c9f2c2cc7f (diff) | |
| download | aports-ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b.tar.bz2 aports-ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b.tar.xz | |
testing/spin: upgrade to 6.5.2
Diffstat (limited to 'testing/spin')
| -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 99bb0933ab..4010a072d6 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.1 +pkgver=6.5.2 _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="e852d4a5ba92d58350dc1624e6d204e918e31dd22ce4bf15275390d56a679fee29f0fb662de0a00f7c303b7287357c5a4c11a01ebd178712a9229aa830393a93 spin-6.5.1.tar.gz" +sha512sums="ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9 spin-6.5.2.tar.gz" |