mirrors/aports
1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2026-05-05 04:16:46 +02:00
Code Issues Packages Projects Releases Wiki Activity

testing/spin: upgrade to 6.5.2

Browse Source
This commit is contained in:
Leo 2020-02-03 07:44:14 +01:00
parent be584cc2d7
commit ee5b2fbe1b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
testing/spin/APKBUILD
View File

@ -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"