1 files changed, 4 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d93f4479790d..56161a34abc9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,9 @@
+# Generated by mksrcinfo v8
+# Wed Mar 30 15:01:38 UTC 2016
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.r5708.0cda3f7
-	pkgrel = 3
+	pkgver = 0.2.0.r8512.226f8ba
+	pkgrel = 4
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386