1 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 89503f7a07f5..7632e484e9be 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Mon Jul  4 07:29:49 UTC 2016
+# Wed Jan 18 10:44:29 UTC 2017
 pkgbase = minlog-git
 	pkgdesc = Interactive proof system based on first order natural deduction calculus.
-	pkgver = 193.5f5fae0
+	pkgver = 195.ff5c8ef
 	pkgrel = 1
 	url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
 	arch = any