Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/elan-bin

Package Information

Description:

Elan manages Lean toolchains and selects the appropriate Lean version for each project. This package installs upstream's prebuilt static executable and command proxies for Lean, Lake, and legacy Lean tools.

Homepage:

https://github.com/leanprover/elan

License:

|| ( Apache-2.0 MIT ) Apache-2.0 BSD Boost-1.0 MIT Unicode-3.0 Unicode-DFS-2016

Versions

Metadata

Description

• Elan manages Lean toolchains and selects the appropriate Lean version for each project. This package installs upstream's prebuilt static executable and command proxies for Lean, Lake, and legacy Lean tools.

Maintainers

• xz-dev (xiangzhedev@gmail.com) - Type: person

Upstream

• Bugs: https://github.com/leanprover/elan/issues
• Remote IDs:
  • github: leanprover/elan

<pkgmetadata>
	<maintainer type="person">
		<email>xiangzhedev@gmail.com</email>
		<name>xz-dev</name>
	</maintainer>
	<longdescription lang="en">
		Elan manages Lean toolchains and selects the appropriate Lean version for
		each project. This package installs upstream's prebuilt static executable
		and command proxies for Lean, Lake, and legacy Lean tools.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/leanprover/elan/issues</bugs-to>
		<remote-id type="github">leanprover/elan</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 4.2.4 has a line exceeding 80 positions on line 11.
• [Warning] Ebuild 4.2.4 has a line exceeding 80 positions on line 13.
• [Error] Manifest entry for unused DIST file 'elan-bin-4.2.4-amd64.tar.gz'
• [Error] Manifest entry for unused DIST file 'elan-bin-4.2.4-arm64.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64, arm64 ], all versions are unstable: [ 4.2.4 ]

Manifest