Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 3.9% dependent packages on crates.io
crates.io : mv-prover
Move prover
Registry
- Documentation
- JSON
purl: pkg:cargo/mv-prover
License: Apache-2.0
Latest release: about 1 hour ago
First release: almost 2 years ago
Dependent packages: 9
Dependent repositories: 1
Downloads: 15,191 total
Last synced: about 1 hour ago