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

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)

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