lean-rs-worker-protocol-0.1.14
- lean-rs-worker-protocol 0.1.14
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- lean-toolchain ^0.1.14 normal
  serde ^1 normal
  serde_json ^1 normal
- Versions
- 35.74% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

VERSION

lean_rs_worker_protocol0.1.14

lean_rs_worker_protocol

Constant VERSION

pub const VERSION: &str = "0.1.14";

Expand description

Version of the lean-rs-worker-protocol crate, matching Cargo.toml.