Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: lean-bin 0.2.0.20160924023443-1

Git Clone URL: https://aur-dev.archlinux.org/lean-bin.git (read-only)
Package Base: lean-bin
Description: Lean Theorem Prover
Upstream URL: http://leanprover.github.io/
Licenses: Apache
Conflicts: lean-git
Submitter: namanbharadwaj
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 1
Popularity: 0.002798
First Submitted: 2015-02-13 23:32
Last Updated: 2016-11-28 20:22

Latest Comments

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