Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: lean-bin 3.4.2-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/lean-bin.git (read-only, click to copy)
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:	None
Last Packager:	mgrabovsky
Votes:	4
Popularity:	0.000000
First Submitted:	2015-02-13 23:32 (UTC)
Last Updated:	2019-02-01 18:28 (UTC)

Dependencies (2)

lua
emacs (emacs-native-comp-git^AUR, emacs-ng-git^AUR, emacs-ng^AUR, emacs-lucid-git^AUR, emacs28^AUR, emacs28-nativecomp^AUR, emacs28-nox^AUR, emacs-git^AUR, emacs29-git^AUR, emacs-pretest^AUR, emacs-pgtk-git^AUR, emacs-lucid^AUR, emacs-lucid-nativecomp^AUR, emacs29-lucid-native-comp-git^AUR, emacs-nativecomp, emacs-nox, emacs-wayland) (optional) – emacs mode

Required by (0)

Sources (1)

https://github.com/leanprover/lean/releases/download/v3.4.2/lean-3.4.2-linux.tar.gz

Latest Comments

<deleted-account> commented on 2019-01-29 19:36 (UTC)

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 (UTC)

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 (UTC)

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 (UTC)

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