Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/lean

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/lean

Or alternatively:

emerge --autounmask-write -a sci-mathematics/lean

Package Information

Description:: The Lean Theorem Prover
Homepage:: https://leanprover-community.github.io/
License:: Apache-2.0

Versions

Version	EAPI	Keywords	Slot
4.0.9999	8	~amd64 ~x86	0/$(ver_cut

Metadata

No metadata available.

Lint Warnings

[Error] Ebuild 4.0.9999 has invalid SLOT '0/$(ver_cut'
[Warning] USE flag 'debug' in ebuild 4.0.9999 is not documented in metadata.xml
[Warning] USE flag 'threads' in ebuild 4.0.9999 is not documented in metadata.xml
[Error] Missing md5-cache for ebuild lean-4.0.9999
[Error] Invalid or missing metadata.xml: open sci-mathematics/lean/metadata.xml: no such file or directory

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/lean | euse -E <flag> -p sci-mathematics/lean | euse -D <flag> -p sci-mathematics/lean

Flag	Description	4.0.9999
debug	⚠️	✓
threads	⚠️	⊕

Manifest

Type	File	Size	Versions

Unmatched Entries

Type	File	Size
EBUILD	lean-4.0.9999.ebuild	1790 bytes

sci-mathematics/lean (zerodaysfordays)