1 files changed, 3 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1d3464fa20a9..f2e32499d796 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = minlog-git
 	pkgdesc = Interactive proof system based on first order natural deduction calculus.
-	pkgver = 195.ff5c8ef
+	pkgver = r610.4a9a1e4
 	pkgrel = 2
 	url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
 	arch = any
@@ -10,7 +10,9 @@ pkgbase = minlog-git
 	depends = bash
 	options = !makeflags
 	source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git
+	source = prefer_guile.patch
 	md5sums = SKIP
+	md5sums = 3066aa2dccf688b26d1c70ae8ebc3a7d
 
 pkgname = minlog-git