{"ecosystem":"deb","name":"ubuntu/libcoq-ocaml","dependents_count":1,"downloads_count":5293,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/deb/ubuntu%2Flibcoq-ocaml/dependencies"}