Lingeling_jll.jl (v1.0.0+0)

This is an autogenerated package constructed using BinaryBuilder.jl.

The originating build_tarballs.jl script can be found on Yggdrasil, the community build tree.

Bug Reports

If you have any issue, please report it to the Yggdrasil bug tracker.

Documentation

For more details about JLL packages and how to use them, see BinaryBuilder.jl documentation.

Sources

The tarballs for Lingeling_jll.jl have been built from these sources:

• git repository: https://github.com/arminbiere/lingeling.git (revision: 89a167d0d2efe98d983c87b5b84175b40ea55842)
• files in directory, relative to originating build_tarballs.jl: ./bundled

Platforms

Lingeling_jll.jl is available for the following platforms:

• Linux aarch64 {libc=glibc} (aarch64-linux-gnu)
• Linux aarch64 {libc=musl} (aarch64-linux-musl)
• FreeBSD aarch64 (aarch64-unknown-freebsd)
• Linux armv6l {call_abi=eabihf, libc=glibc} (armv6l-linux-gnueabihf)
• Linux armv6l {call_abi=eabihf, libc=musl} (armv6l-linux-musleabihf)
• Linux armv7l {call_abi=eabihf, libc=glibc} (armv7l-linux-gnueabihf)
• Linux armv7l {call_abi=eabihf, libc=musl} (armv7l-linux-musleabihf)
• Linux i686 {libc=glibc} (i686-linux-gnu)
• Linux i686 {libc=musl} (i686-linux-musl)
• Linux powerpc64le {libc=glibc} (powerpc64le-linux-gnu)
• Linux riscv64 {libc=glibc} (riscv64-linux-gnu)
• Linux x86_64 {libc=glibc} (x86_64-linux-gnu)
• Linux x86_64 {libc=musl} (x86_64-linux-musl)
• FreeBSD x86_64 (x86_64-unknown-freebsd)

Products

The code bindings within this package are autogenerated from the following Products:

• LibraryProduct: liblgl
• ExecutableProduct: ilingeling
• ExecutableProduct: lglddtrace
• ExecutableProduct: lglmbt
• ExecutableProduct: lgluntrace
• ExecutableProduct: lingeling
• ExecutableProduct: plingeling
• ExecutableProduct: treengeling