Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: lean-git 3.4.1.r4.gb13ac127f-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/lean-git.git (read-only, click to copy)
Package Base:	lean-git
Description:	Lean Theorem Prover
Upstream URL:	http://leanprover.github.io/
Keywords:	formal-methods theorem-prover
Licenses:	Apache
Conflicts:	lean-bin
Submitter:	mgrabovsky
Maintainer:	mgrabovsky
Last Packager:	mgrabovsky
Votes:	4
Popularity:	0.000000
First Submitted:	2015-03-28 17:35 (UTC)
Last Updated:	2018-09-21 20:32 (UTC)

Dependencies (9)

gmp (gmp-hg^AUR)
lua
mpfr (mpfr-git^AUR)
cmake (cmake-git^AUR) (make)
gcc7^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)

lean-git

Latest Comments

mdl commented on 2017-10-02 10:35 (UTC)

The PKGBUILD needs to be fixed: ==> Starting pkgver()... ==> ERROR: pkgver is not allowed to contain colons, hyphens or whitespace. ==> ERROR: pkgver() generated an invalid version: 0.2.0.r13050.v3.3.0-9-gd83b9ef3e This page has some useful information for how to write a suitable pkgver(): https://wiki.archlinux.org/index.php/VCS_package_guidelines#The_pkgver.28.29_function