DEFINED_PHASES=install
DESCRIPTION=Lean version manager (prebuilt binary)
EAPI=8
HOMEPAGE=https://github.com/leanprover/elan
KEYWORDS=-* ~amd64 ~arm64
LICENSE=|| ( Apache-2.0 MIT ) Apache-2.0 BSD Boost-1.0 MIT Unicode-3.0 Unicode-DFS-2016
RDEPEND=!sci-mathematics/lean app-misc/ca-certificates
RESTRICT=strip
SLOT=0
SRC_URI=amd64? ( https://github.com/leanprover/elan/releases/download/v4.2.4/elan-x86_64-unknown-linux-gnu.tar.gz -> elan-bin-4.2.4-amd64.tar.gz ) arm64? ( https://github.com/leanprover/elan/releases/download/v4.2.4/elan-aarch64-unknown-linux-gnu.tar.gz -> elan-bin-4.2.4-arm64.tar.gz )
_eclasses_=shell-completion	63a62de3ca49c798ee6e89f190e45d0e	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5
_md5_=687bdd547f72987d14a7df4bc61ee194