Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : mv-prover-boogie-backend : 0.1.5
Move prover Boogie backend
Registry -
Documentation -
Download -
JSON
purl: pkg:cargo/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- anyhow ^1.0.52 normal
- async-trait ^0.1.42 normal
- codespan ^0.11.1 normal
- codespan-reporting ^0.11.1 normal
- futures ^0.3.12 normal
- itertools ^0.10.0 normal
- log ^0.4.14 normal
- move-command-line-common ^0.1.1 normal
- move-stackless-bytecode ^0.1.1 normal
- mv-binary-format ^0.1.1 normal
- mv-core-types ^0.1.0 normal
- mv-model ^0.1.1 normal
- num ^0.4.0 normal
- once_cell ^1.7.2 normal
- pretty ^0.10.0 normal
- rand ^0.8.3 normal
- regex ^1.4.3 normal
- serde ^1.0.124 normal
- serde_json ^1.0.64 normal
- tera ^1.7.1 normal
- tokio ^1.8.1 normal