Update to 3.2.0

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b3649a61e3d3..c7a7ce4e5b8a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sun Mar  5 18:29:29 UTC 2017
+# Thu Aug 24 16:24:42 UTC 2017
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 3.1.0
+	pkgver = 3.2.0
 	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.1.0/lean-3.1.0-linux.tar.gz
-	sha256sums = a3a7afef35bb10e60ea972614f03f7aa794bbdb83b01e77773c24309696204d4
+	source = https://github.com/leanprover/lean/releases/download/v3.2.0/lean-3.2.0-linux.tar.gz
+	sha256sums = 33eafbeddeaf80c3da8d5ebfa17c58bb61e5f68424a190d2d50b1afc2a3ed241
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index e208fc6ff6de..7fe71769390d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=3.1.0
+pkgver=3.2.0
 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=('a3a7afef35bb10e60ea972614f03f7aa794bbdb83b01e77773c24309696204d4')
+sha256sums=('33eafbeddeaf80c3da8d5ebfa17c58bb61e5f68424a190d2d50b1afc2a3ed241')
 
 package() {
 	mkdir -p "$pkgdir/usr"