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