{"ecosystem":"cargo","name":"bolero-kani","dependents_count":1,"downloads_count":8,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/cargo/bolero-kani/dependencies"}