Update to 3.4.1

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c7a7ce4e5b8a..d3556c581f3e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Thu Aug 24 16:24:42 UTC 2017
+# Tue May 29 19:57:38 UTC 2018
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 3.2.0
+	pkgver = 3.4.1
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
@@ -11,8 +11,8 @@ pkgbase = lean-bin
 	depends = lua>=5.2
 	optdepends = emacs: emacs mode
 	conflicts = lean-git
-	source = https://github.com/leanprover/lean/releases/download/v3.2.0/lean-3.2.0-linux.tar.gz
-	sha256sums = 33eafbeddeaf80c3da8d5ebfa17c58bb61e5f68424a190d2d50b1afc2a3ed241
+	source = https://github.com/leanprover/lean/releases/download/v3.4.1/lean-3.4.1-linux.tar.gz
+	sha256sums = 7f0a0d7a61a79fbe8f136dbfc9f472e2b6694ab214f194d46399c6493aafeb89
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 7fe71769390d..d450fe9e7002 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=3.2.0
+pkgver=3.4.1
 pkgrel=1
 pkgdesc='Lean Theorem Prover'
 arch=('x86_64' 'i386')
@@ -12,7 +12,7 @@ depends=('lua>=5.2')
 optdepends=('emacs: emacs mode')
 conflicts=('lean-git')
 source=("https://github.com/leanprover/lean/releases/download/v${pkgver}/lean-${pkgver}-linux.tar.gz")
-sha256sums=('33eafbeddeaf80c3da8d5ebfa17c58bb61e5f68424a190d2d50b1afc2a3ed241')
+sha256sums=('7f0a0d7a61a79fbe8f136dbfc9f472e2b6694ab214f194d46399c6493aafeb89')
 
 package() {
 	mkdir -p "$pkgdir/usr"