Search Criteria
Package Details: lean2-git 0.2.3-1
Git Clone URL: | https://aur.archlinux.org/lean2-git.git (read-only, click to copy) |
---|---|
Package Base: | lean2-git |
Description: | Lean Theorem Prover 2 |
Upstream URL: | https://github.com/sayantangkhan/lean2 |
Keywords: | lean |
Licenses: | |
Conflicts: | |
Submitter: | sayantankhan |
Maintainer: | sayantankhan |
Last Packager: | sayantankhan |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2017-02-02 16:21 |
Last Updated: | 2017-03-13 17:28 |
Dependencies (8)
- gmp (gmp-hg)
- mpfr (mpfr-svn)
- lua>=5.2
- cmake (cmake-git) (make)
- git (git-git) (make)
- gperftools (gperftools-git) (make)
- python (python-dbg) (make)
- emacs (emacs-git-gtk2, guile-emacs-git, emacs-nox-24bit, emacs25-git, emacs-git-shallow, emacs-24bit, emacs26-git, emacs-lucid-git, emacs-pretest, emacs-lucid, emacs-gtk2, emacs-git, emacs-nox) (optional) – emacs mode
Latest Comments
Poscat commented on 2019-11-09 10:24
This package cannot be built.