Update to 0.2.0.20160924023443

2 files changed, 10 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 83d07a358ea0..b042e25044ef 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Wed Aug 17 15:00:26 UTC 2016
+# Mon Nov 28 20:22:28 UTC 2016
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.20160710023446
+	pkgver = 0.2.0.20160924023443
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
@@ -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.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
+	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160924023443.git70a5f987478c8e38622b5e3e510ebc11762784bb~15.10_amd64.deb
+	sha1sums_x86_64 = 8dded76ff526f19f36e74cf93ba3519247125813
+	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160924023443.git70a5f987478c8e38622b5e3e510ebc11762784bb~15.10_i386.deb
+	sha1sums_i386 = d1fcac88869f0f474834856c439ba6a5b36982f8
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 9786b7bfa702..359c9727fbac 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=0.2.0.20160710023446
-_gitcommit=cc70845332e63a1f1be21dc1f96d17269fc85909
+pkgver=0.2.0.20160924023443
+_gitcommit=70a5f987478c8e38622b5e3e510ebc11762784bb
 pkgrel=1
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
@@ -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=('dfa04a4f1a7463b33d67a59c30dd03d1f4a1c1f8')
-sha1sums_i386=('04528f7911f28fe40de43bf4fc436eb14c9cb29f')
+sha1sums_x86_64=('8dded76ff526f19f36e74cf93ba3519247125813')
+sha1sums_i386=('d1fcac88869f0f474834856c439ba6a5b36982f8')
 
 package() {
   mkdir -p "$pkgname-$pkgver"