Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : prover-mutation : 0.3.2
Move Prover mutation
Registry -
Documentation -
Download -
JSON
purl: pkg:cargo/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- anyhow ^1.0.52 normal
- chrono ^0.4.19 normal
- clap ^3.1.8 normal
- codespan ^0.11.1 normal
- codespan-reporting ^0.11.1 normal
- hex ^0.4.3 normal
- itertools ^0.10.0 normal
- log ^0.4.14 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
- num ^0.4.0 normal
- serde ^1.0.124 normal
- serde_json ^1.0.64 normal
- simplelog ^0.9.0 normal