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