{"ecosystem":"cargo","name":"move-prover-boogie-backend","dependents_count":2,"downloads_count":46,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/cargo/move-prover-boogie-backend/dependencies"}