1 files changed, 4 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7434d62e5047..baa985e4a1e6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Sun Jun 25 11:04:19 UTC 2017
 pkgbase = spin
 	pkgdesc = Tool for the formal verification of distributed software systems
-	pkgver = 6.4.6
-	pkgrel = 2
+	pkgver = 6.4.8
+	pkgrel = 1
 	url = https://spinroot.com/
 	arch = i686
 	arch = x86_64
@@ -13,8 +11,8 @@ pkgbase = spin
 	optdepends = swarm: improved performance on large verification problems
 	optdepends = modex: extract verification models from implementation C code
 	optdepends = ispin: GUI for Spin
-	source = https://github.com/freswa/spin/archive/6.4.6.tar.gz
-	sha512sums = 5c59d8af7e8f73c855aa1be7059cb7881829ef3d9b0a8775c182d6536bf4250f966cf13efad5ec1926d8b32a34e7b8428022e1c52346015bcb6056774da5818f
+	source = https://github.com/freswa/spin/archive/v6.4.8.tar.gz
+	sha512sums = 92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37
 
 pkgname = spin