diff options
| author | Matěj Grabovský | 2016-05-01 21:04:10 +0200 |
|---|---|---|
| committer | Matěj Grabovský | 2016-05-01 21:04:10 +0200 |
| commit | 89bacdf458bf3a13c084830c277f3074076b7b60 (patch) | |
| tree | 393be915a371ec7055f205533533c4001055eb1c | |
| parent | 71897508eee0f75cd9c3a657d094a041fb2dd43c (diff) | |
| download | aur-89bacdf458bf3a13c084830c277f3074076b7b60.tar.gz | |
Update to 0.2.0.20160412023438
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | PKGBUILD | 10 |
2 files changed, 11 insertions, 11 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Wed Mar 23 20:38:09 UTC 2016 +# Sun May 1 19:03:49 UTC 2016 pkgbase = lean-bin pkgdesc = Lean Theorem Prover - pkgver = 0.2.0.20160314023434 + pkgver = 0.2.0.20160412023438 pkgrel = 1 url = http://leanprover.github.io/ arch = x86_64 @@ -12,10 +12,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.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 + 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 pkgname = lean-bin @@ -2,7 +2,7 @@ # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com> pkgname=lean-bin -pkgver=0.2.0.20160314023434 +pkgver=0.2.0.20160412023438 pkgrel=1 pkgdesc="Lean Theorem Prover" arch=('x86_64' 'i386') @@ -11,10 +11,10 @@ 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.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') +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") +sha1sums_x86_64=('8cdea07428cd632234894e99ba43c1e33174b385') +sha1sums_i386=('6929fadb6e2e791521cade3a476975851031e2ce') package() { mkdir -p "$pkgname-$pkgver" |