Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: lean2-git 0.2.3-1

Package Actions

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:	Apache
Conflicts:	lean-bin
Submitter:	sayantankhan
Maintainer:	sayantankhan
Last Packager:	sayantankhan
Votes:	0
Popularity:	0.000000
First Submitted:	2017-02-02 16:21 (UTC)
Last Updated:	2017-03-13 17:28 (UTC)

Dependencies (8)

gmp (gmp-hg^AUR)
lua
mpfr (mpfr-git^AUR)
cmake (cmake-git^AUR) (make)
git (git-git^AUR, git-gl^AUR) (make)
gperftools (gperftools-git^AUR) (make)
python (python37^AUR, python311^AUR, python310^AUR) (make)
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)

lean2-git

Latest Comments

Poscat commented on 2019-11-09 10:24 (UTC) (edited on 2019-11-21 15:03 (UTC) by Poscat)

This package cannot be built.