Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : spec-flatten : 0.3.0
Formal specification flattening tool
Registry -
Documentation -
Download -
JSON
purl: pkg:cargo/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- anyhow ^1.0.52 normal
- clap ^3.1.8 normal
- itertools ^0.10.1 normal
- move-stackless-bytecode ^0.3.0 normal
- mv-compiler ^0.3.0 normal
- mv-model ^0.3.0 normal
- mv-prover ^0.3.0 normal
- pretty ^0.10.0 normal