Update to a new release

2 files changed, 10 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 68db74f08cef..9ef570471421 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.20150430101621
+	pkgver = 0.2.0.20151014023327
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
@@ -11,10 +11,10 @@ pkgbase = lean-bin
 	optdepends = emacs: emacs mode
 	optdepends = ninja
 	conflicts = lean-git
-	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20150430101621.gite8d894473ed8d57cdf2616e6aa1b7df1c589a6ca~14.10_amd64.deb
-	md5sums_x86_64 = 3318ee697f2b193d642336d3a2b79716
-	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20150430101621.gite8d894473ed8d57cdf2616e6aa1b7df1c589a6ca~14.10_i386.deb
-	md5sums_i386 = 234c0cc6ea8019c61b86eb80fd7b6bd2
+	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
 
 pkgname = lean-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 9058e3c43fc1..09c87c24d966 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com>
 
 pkgname=lean-bin
-pkgver=0.2.0.20150430101621
+pkgver=0.2.0.20151014023327
 pkgrel=1
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
@@ -12,10 +12,10 @@ 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.20150430101621.gite8d894473ed8d57cdf2616e6aa1b7df1c589a6ca~14.10_amd64.deb")
-source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20150430101621.gite8d894473ed8d57cdf2616e6aa1b7df1c589a6ca~14.10_i386.deb")
-md5sums_x86_64=('3318ee697f2b193d642336d3a2b79716')
-md5sums_i386=('234c0cc6ea8019c61b86eb80fd7b6bd2')
+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')
 
 package() {
   mkdir -p "$pkgname-$pkgver"