Update to 0.2.0.20160314023434

2 files changed, 12 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 9ef570471421..40b329d84f12 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,20 +1,21 @@
+# Generated by mksrcinfo v8
+# Wed Mar 23 20:38:09 UTC 2016
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.20151014023327
+	pkgver = 0.2.0.20160314023434
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
-	groups = base-devel
 	license = Apache
 	depends = lua>=5.2
 	optdepends = emacs: emacs mode
 	optdepends = ninja
 	conflicts = lean-git
-	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20151014023327.gitd508ceccecf8504257b538de57d3c76ad1e20b35~15.04_amd64.deb
-	md5sums_x86_64 = cf31bfe90ba23e50b8da7b6053188934
-	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20151014023327.gitd508ceccecf8504257b538de57d3c76ad1e20b35~15.04_i386.deb
-	md5sums_i386 = 5fc57a3ad819d2b694c0f0a3048dafaa
+	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_amd64.deb
+	md5sums_x86_64 = 5496d564329068290a04dd59bf5e36ef
+	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_i386.deb
+	md5sums_i386 = d75b068785c844789e2ff855827da3fa
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 09c87c24d966..d6562d5a5611 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,20 +2,19 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=0.2.0.20151014023327
+pkgver=0.2.0.20160314023434
 pkgrel=1
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
 license=('Apache')
-groups=('base-devel')
 depends=('lua>=5.2')
 optdepends=('emacs: emacs mode' 'ninja')
 conflicts=('lean-git')
-source_x86_64=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20151014023327.gitd508ceccecf8504257b538de57d3c76ad1e20b35~15.04_amd64.deb")
-source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20151014023327.gitd508ceccecf8504257b538de57d3c76ad1e20b35~15.04_i386.deb")
-md5sums_x86_64=('cf31bfe90ba23e50b8da7b6053188934')
-md5sums_i386=('5fc57a3ad819d2b694c0f0a3048dafaa')
+source_x86_64=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_amd64.deb")
+source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_i386.deb")
+md5sums_x86_64=('5496d564329068290a04dd59bf5e36ef')
+md5sums_i386=('d75b068785c844789e2ff855827da3fa')
 
 package() {
   mkdir -p "$pkgname-$pkgver"