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

Git Clone URL: https://aur.archlinux.org/lean-git.git (read-only)
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
Last Updated: 2018-09-21 20:32

Latest Comments

mdl commented on 2017-10-02 10:35

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