Update to 0.2.0.20160710023446

2 files changed, 12 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 170764855fb1..83d07a358ea0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Fri May 27 11:06:57 UTC 2016
+# Wed Aug 17 15:00:26 UTC 2016
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.20160412023438
-	pkgrel = 3
+	pkgver = 0.2.0.20160710023446
+	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
@@ -11,10 +11,10 @@ pkgbase = lean-bin
 	depends = lua>=5.2
 	optdepends = emacs: emacs mode
 	conflicts = lean-git
-	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160412023438.git4eee26eaee55b8e2cb6731c0499d520daf91d38c~15.10_amd64.deb
-	sha1sums_x86_64 = 8cdea07428cd632234894e99ba43c1e33174b385
-	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160412023438.git4eee26eaee55b8e2cb6731c0499d520daf91d38c~15.10_i386.deb
-	sha1sums_i386 = 6929fadb6e2e791521cade3a476975851031e2ce
+	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160710023446.gitcc70845332e63a1f1be21dc1f96d17269fc85909~15.10_amd64.deb
+	sha1sums_x86_64 = dfa04a4f1a7463b33d67a59c30dd03d1f4a1c1f8
+	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160710023446.gitcc70845332e63a1f1be21dc1f96d17269fc85909~15.10_i386.deb
+	sha1sums_i386 = 04528f7911f28fe40de43bf4fc436eb14c9cb29f
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 8b64a23996ca..9786b7bfa702 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,9 +2,9 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=0.2.0.20160412023438
-_gitcommit=4eee26eaee55b8e2cb6731c0499d520daf91d38c
-pkgrel=3
+pkgver=0.2.0.20160710023446
+_gitcommit=cc70845332e63a1f1be21dc1f96d17269fc85909
+pkgrel=1
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
@@ -14,8 +14,8 @@ optdepends=('emacs: emacs mode')
 conflicts=('lean-git')
 source_x86_64=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_${pkgver}.git${_gitcommit}~15.10_amd64.deb")
 source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_${pkgver}.git${_gitcommit}~15.10_i386.deb")
-sha1sums_x86_64=('8cdea07428cd632234894e99ba43c1e33174b385')
-sha1sums_i386=('6929fadb6e2e791521cade3a476975851031e2ce')
+sha1sums_x86_64=('dfa04a4f1a7463b33d67a59c30dd03d1f4a1c1f8')
+sha1sums_i386=('04528f7911f28fe40de43bf4fc436eb14c9cb29f')
 
 package() {
   mkdir -p "$pkgname-$pkgver"