This is an autogenerated package constructed using BinaryBuilder.jl
. The originating build_tarballs.jl
script can be found on Yggdrasil
, the community build tree.
For more details about JLL packages and how to use them, see BinaryBuilder.jl
documentation.
The tarballs for LEAN_Community_jll.jl
have been built from these sources:
- git repository: https://github.com/leanprover-community/lean.git (revision:
56f8877f1efa22215aca0b82f1c0ce2ff975b9c3
) - files in directory, relative to originating
build_tarballs.jl
:./bundled
LEAN_Community_jll.jl
is available for the following platforms:
FreeBSD(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(x86_64-unknown-freebsd11.1-cxx11
)Linux(:i686, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(i686-linux-gnu-cxx11
)Linux(:aarch64, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(aarch64-linux-musl-cxx03
)Windows(:i686, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(i686-w64-mingw32-cxx11
)Linux(:x86_64, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(x86_64-linux-gnu-cxx03
)Windows(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(x86_64-w64-mingw32-cxx11
)Linux(:armv7l, libc=:glibc, call_abi=:eabihf, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(armv7l-linux-gnueabihf-cxx11
)Linux(:powerpc64le, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(powerpc64le-linux-gnu-cxx11
)Linux(:aarch64, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(aarch64-linux-gnu-cxx11
)Windows(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(x86_64-w64-mingw32-cxx03
)Linux(:x86_64, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(x86_64-linux-musl-cxx11
)FreeBSD(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(x86_64-unknown-freebsd11.1-cxx03
)Linux(:i686, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(i686-linux-musl-cxx11
)Linux(:x86_64, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(x86_64-linux-musl-cxx03
)Linux(:aarch64, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(aarch64-linux-gnu-cxx03
)Linux(:aarch64, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(aarch64-linux-musl-cxx11
)Linux(:armv7l, libc=:musl, call_abi=:eabihf, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(armv7l-linux-musleabihf-cxx11
)Linux(:i686, libc=:musl, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(i686-linux-musl-cxx03
)Windows(:i686, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(i686-w64-mingw32-cxx03
)MacOS(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(x86_64-apple-darwin14-cxx03
)Linux(:x86_64, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(x86_64-linux-gnu-cxx11
)Linux(:armv7l, libc=:musl, call_abi=:eabihf, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(armv7l-linux-musleabihf-cxx03
)Linux(:i686, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(i686-linux-gnu-cxx03
)MacOS(:x86_64, compiler_abi=CompilerABI(cxxstring_abi=:cxx11))
(x86_64-apple-darwin14-cxx11
)Linux(:armv7l, libc=:glibc, call_abi=:eabihf, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(armv7l-linux-gnueabihf-cxx03
)Linux(:powerpc64le, libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx03))
(powerpc64le-linux-gnu-cxx03
)
The following JLL packages are required by LEAN_Community_jll.jl
:
The code bindings within this package are autogenerated from the following Products
:
ExecutableProduct
:lean
ExecutableProduct
:leanchecker