Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - lean-bin

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

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


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