fix checksums

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 0244232130a6..1374643d84e9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Thu Jun  1 15:08:11 UTC 2017
+# Thu Jun  1 17:10:03 UTC 2017
 pkgbase = spin
 	pkgdesc = Tool for the formal verification of distributed software systems
 	pkgver = 6.4.6
@@ -15,7 +15,7 @@ pkgbase = spin
 	optdepends = ispin: GUI for Spin
 	source = https://spinroot.com/spin/Src/spin646.tar.gz
 	source = LICENSE.txt
-	sha512sums = 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad
+	sha512sums = 4ce720a1234c3bfe37320b6a41ee27346237592ca0a9437a67a13078b9ae0f8f1ad321c6715329799d6295084649c4dab5164cb32682bf1033a94c8ee960e1de
 	sha512sums = a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595
 
 pkgname = spin
diff --git a/PKGBUILD b/PKGBUILD
index 25a166452071..c0f114bf52d8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -18,7 +18,7 @@ optdepends=('tcl: ispin graphical interface'
             'ispin: GUI for Spin')
 source=(https://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz
         LICENSE.txt)
-sha512sums=('77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad'
+sha512sums=('4ce720a1234c3bfe37320b6a41ee27346237592ca0a9437a67a13078b9ae0f8f1ad321c6715329799d6295084649c4dab5164cb32682bf1033a94c8ee960e1de'
             'a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595')
 
 build() {