1 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index be010be9df7e..b07fdd0ce17b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
 # Generated by mksrcinfo v8
-# Wed Feb 24 15:06:54 UTC 2016
+# Wed Aug 17 16:02:37 UTC 2016
 pkgbase = spass
 	pkgdesc = An Automated Theorem Prover for First-Order Logic with Equality.
-	pkgver = 3.7
-	pkgrel = 3
+	pkgver = 3.9
+	pkgrel = 1
 	url = http://www.spass-prover.org/
 	arch = i686
 	arch = x86_64
 	license = GPL
 	depends = perl
-	source = http://www.spass-prover.org/download/sources/spass37.tgz
-	sha512sums = 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12
+	source = http://www.spass-prover.org/download/sources/spass39.tgz
+	sha512sums = d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b
 
 pkgname = spass