Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 9.2% dependent packages on crates.io
crates.io : mv-prover-boogie-backend
Move prover Boogie backend
Registry
- Documentation
- JSON
purl: pkg:cargo/mv-prover-boogie-backend
License: Apache-2.0
Latest release: 12 days ago
First release: about 2 years ago
Dependent packages: 3
Dependent repositories: 1
Downloads: 15,000 total
Last synced: 12 days ago
move-deps
Move dependencies12 versions - Latest release: 11 days ago - 43 dependent packages - 14.8 thousand downloads total - 1 maintainer
mv-prover
Move prover10 versions - Latest release: 13 days ago - 9 dependent packages - 1 dependent repositories - 15.2 thousand downloads total - 1 maintainer
move-to-yul
Move Solidity Generator9 versions - Latest release: about 1 month ago - 3 dependent packages - 3.08 thousand downloads total - 1 maintainer