summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 192f054c4d5a..d186e48c4a42 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Mon Sep 17 22:08:09 UTC 2018
+# Fri Sep 21 20:30:42 UTC 2018
pkgbase = lean-git
pkgdesc = Lean Theorem Prover
- pkgver = 3.3.0.r668.gb13ac127f
+ pkgver = 3.4.1.r4.gb13ac127f
pkgrel = 1
url = http://leanprover.github.io/
arch = x86_64