Package Details: lean-bin 3.4.2-1

Git Clone URL: https://aur.archlinux.org/lean-bin.git (read-only)
Package Base: lean-bin
Description: Lean Theorem Prover
Upstream URL: http://leanprover.github.io/
Keywords: formal-methods theorem-prover
Licenses: Apache
Conflicts: lean-git
Submitter: namanbharadwaj
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 4
Popularity: 1.487624
First Submitted: 2015-02-13 23:32
Last Updated: 2019-02-01 18:28

Latest Comments

ngenisis commented on 2019-01-29 19:36

Patch for 3.4.2:

---
 PKGBUILD | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/PKGBUILD b/PKGBUILD
index d450fe9..f6ad1ad 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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,9 @@ 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"
+   cp -r "$srcdir/lean-$pkgver-linux"/* "$pkgdir/usr"
 }
-
-- 
2.20.1

mgrabovsky commented on 2016-11-28 20:24

Thank you, dknn. I've now updated the package. It's difficult to keep up with the changes on Launchpad.

dknn commented on 2016-11-22 17:59

The links appear to be broken. Can be fixed with

pkgver=0.2.0.20160924023443
_gitcommit=70a5f987478c8e38622b5e3e510ebc11762784bb

and adapting the hash sum consequently.

kha commented on 2015-03-29 19:42

Additional dependency for lean-mode (I think): community/ninja - https://github.com/leanprover/ppa-updater/commit/7c2f63c04f1d445d16ddedcb3d66d33c10102d54