diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |