lean-toolchain-0.1.2
- lean-toolchain 0.1.2
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- lean-rs-sys ^0.1.2 normal
  serde_json ^1 normal
  sha2 ^0.11 normal
  lean-rs-sys ^0.1.2 dev
  sha2 ^0.11 build
- Versions
- 73.45% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

HOST_TRIPLE

lean_toolchain0.1.2

Constant HOST_TRIPLE

pub const HOST_TRIPLE: &str = "x86_64-unknown-linux-gnu";

Expand description

Cargo TARGET triple lean-toolchain was built for.