diff options
| author | Matěj Grabovský | 2019-02-01 19:28:13 +0100 |
|---|---|---|
| committer | Matěj Grabovský | 2019-02-01 19:28:13 +0100 |
| commit | d7afd4dd9328b2aa2ff0f6eecec2dfaa86d669ea (patch) | |
| tree | 409ac2de5fb39bc1899215c76079c698ed30d372 | |
| parent | d580ccca5b4e8de78c821cb502a12951a718925a (diff) | |
| download | aur-lean-bin.tar.gz | |
Update to 3.4.2
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 9 |
2 files changed, 8 insertions, 9 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue May 29 19:57:38 UTC 2018 +# Fri Feb 1 18:27:50 UTC 2019 pkgbase = lean-bin pkgdesc = Lean Theorem Prover - pkgver = 3.4.1 + pkgver = 3.4.2 pkgrel = 1 url = http://leanprover.github.io/ arch = x86_64 @@ -11,8 +11,8 @@ pkgbase = lean-bin depends = lua>=5.2 optdepends = emacs: emacs mode conflicts = lean-git - source = https://github.com/leanprover/lean/releases/download/v3.4.1/lean-3.4.1-linux.tar.gz - sha256sums = 7f0a0d7a61a79fbe8f136dbfc9f472e2b6694ab214f194d46399c6493aafeb89 + source = https://github.com/leanprover/lean/releases/download/v3.4.2/lean-3.4.2-linux.tar.gz + sha256sums = ba8a97b3e8f28dad50900a55e488579f2a26923eb0c4c40342120457c136d165 pkgname = lean-bin @@ -2,7 +2,7 @@ # Contributor: Naman Bharadwaj <namanbharadwaj@gmail.com> pkgname=lean-bin -pkgver=3.4.1 +pkgver=3.4.2 pkgrel=1 pkgdesc='Lean Theorem Prover' arch=('x86_64' 'i386') @@ -12,11 +12,10 @@ depends=('lua>=5.2') optdepends=('emacs: emacs mode') conflicts=('lean-git') source=("https://github.com/leanprover/lean/releases/download/v${pkgver}/lean-${pkgver}-linux.tar.gz") -sha256sums=('7f0a0d7a61a79fbe8f136dbfc9f472e2b6694ab214f194d46399c6493aafeb89') +sha256sums=('ba8a97b3e8f28dad50900a55e488579f2a26923eb0c4c40342120457c136d165') package() { - mkdir -p "$pkgdir/usr" - find "lean-$pkgver-linux" -exec chmod 755 {} \; - cp -r "lean-$pkgver-linux"/* "$pkgdir/usr" + mkdir -p "$pkgdir/usr" + cp -r "$srcdir/lean-$pkgver-linux"/* "$pkgdir/usr" } |