1 files changed, 5 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8c2eae5d03f8..5120f77fc7cc 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Tue Jan 30 23:00:15 UTC 2018
 pkgbase = glucose
 	pkgdesc = Parallel SAT solver based on Minisat, with glue clauses.
-	pkgver = 4.0
+	pkgver = 4.1
 	pkgrel = 1
 	url = http://www.labri.fr/perso/lsimon/glucose/
 	arch = i686
@@ -8,8 +10,8 @@ pkgbase = glucose
 	license = MIT
 	depends = gcc-libs
 	depends = zlib
-	source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz
-	md5sums = b6f040a6c28f011f3be994663338f548
+	source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz
+	md5sums = 7f13be91b3cd71bd02d4f37570fee011
 
 pkgname = glucose