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, scipoptsuite, scipoptsuite-bin)
- mpfr (mpfr-svn)
- lua>=5.2
- cmake (cmake-git) (make)
- git (git-git) (make)
- gperftools (gperftools-git, gperftools-aarch64-tls-fix) (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-gtk2, emacs-pretest, emacs-lucid, emacs27-git, emacs-xwidgets, emacs-native-comp-git, emacs-pgtk-native-comp-git, emacs-native-comp-git-enhanced, emacs-gcc-wayland-devel-bin, emacs-git, emacs-nox) (optional) – emacs mode
Latest Comments
Poscat commented on 2019-11-09 10:24
This package cannot be built.