A better maintanable PKGBUILD

2 files changed, 6 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1e9b5bbab5c0..bc35cc3a301f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Sun May  1 19:03:49 UTC 2016
+# Sun May  1 19:06:56 UTC 2016
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
 	pkgver = 0.2.0.20160412023438
-	pkgrel = 1
+	pkgrel = 2
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
diff --git a/PKGBUILD b/PKGBUILD
index f76ae7fbb2fa..6e18a019a756 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,8 @@
 
 pkgname=lean-bin
 pkgver=0.2.0.20160412023438
-pkgrel=1
+_gitcommit=4eee26eaee55b8e2cb6731c0499d520daf91d38c
+pkgrel=2
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
@@ -11,8 +12,8 @@ license=('Apache')
 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.20160412023438.git4eee26eaee55b8e2cb6731c0499d520daf91d38c~15.10_amd64.deb")
-source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160412023438.git4eee26eaee55b8e2cb6731c0499d520daf91d38c~15.10_i386.deb")
+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')