From ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b Mon Sep 17 00:00:00 2001
From: Leo <thinkabit.ukim@gmail.com>
Date: Mon, 3 Feb 2020 07:44:14 +0100
Subject: [PATCH] testing/spin: upgrade to 6.5.2

---
 testing/spin/APKBUILD | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testing/spin/APKBUILD b/testing/spin/APKBUILD
index 99bb0933ab3..4010a072d68 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"