{"name":"coqorg/coq","last_synced_at":"2026-01-31T05:00:51.656Z","versions_count":1,"latest_release_published_at":"2025-05-13T18:29:42.215Z","latest_release_number":"8.20.1","created_at":"2025-11-15T13:00:53.132Z","updated_at":"2026-01-31T05:00:51.656Z","has_sbom":true,"dependencies_count":211,"description":"Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project","downloads":1008680,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/coqorg%2Fcoq","versions_url":"https://docker.ecosyste.ms/api/v1/packages/coqorg%2Fcoq/versions"}