1 files changed, 11 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 37c2877236f0..6e909a99caf3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,21 @@
+# Generated by mksrcinfo v8
+# Wed Feb 10 17:35:54 UTC 2016
 pkgbase = spin
-	pkgdesc = Tool for the formal verification of distributed software systems.
-	pkgver = 6.4.4
-	pkgrel = 2
+	pkgdesc = Tool for the formal verification of distributed software systems
+	pkgver = 6.4.5
+	pkgrel = 1
 	url = http://spinroot.com/
 	arch = i686
 	arch = x86_64
 	license = custom:SPIN
 	depends = glibc
-	source = http://spinroot.com/spin/Src/spin644.tar.gz
+	optdepends = tcl: ispin graphical interface
+	optdepends = swarm: improved performance on large verification problems
+	optdepends = modex: extract verification models from implementation C code
+	optdepends = ispin: GUI for Spin
+	source = http://spinroot.com/spin/Src/spin645.tar.gz
 	source = LICENSE.txt
-	sha512sums = cd16613e6bde57dd968a126b9159e28a44ad5698dd20d9b2b542c6be9b79cbfbbc0b6b3c5dfcf3aac11dfa244ad95583fe914899dde3cf685bc6e1fdcd058cea
+	sha512sums = 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad
 	sha512sums = a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595
 
 pkgname = spin