{"id":27214585,"url":"https://github.com/rocq-community/docker-coq","last_synced_at":"2025-04-10T03:24:28.961Z","repository":{"id":37891783,"uuid":"150787299","full_name":"rocq-community/docker-coq","owner":"rocq-community","description":"Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]","archived":false,"fork":false,"pushed_at":"2025-02-13T20:35:43.000Z","size":263,"stargazers_count":37,"open_issues_count":7,"forks_count":3,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-03-24T15:06:58.996Z","etag":null,"topics":["ci","coq","docker-coq","docker-image","dockerfile","opam"],"latest_commit_sha":null,"homepage":"https://hub.docker.com/r/coqorg/coq/","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rocq-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-09-28T19:42:10.000Z","updated_at":"2025-02-13T20:35:46.000Z","dependencies_parsed_at":"2023-12-29T23:26:00.932Z","dependency_job_id":"42c22642-f501-4c81-8cd3-d104efbff80b","html_url":"https://github.com/rocq-community/docker-coq","commit_stats":null,"previous_names":["rocq-community/docker-coq"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fdocker-coq","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fdocker-coq/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fdocker-coq/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fdocker-coq/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rocq-community","download_url":"https://codeload.github.com/rocq-community/docker-coq/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248149600,"owners_count":21055790,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ci","coq","docker-coq","docker-image","dockerfile","opam"],"created_at":"2025-04-10T03:24:28.352Z","updated_at":"2025-04-10T03:24:28.937Z","avatar_url":"https://github.com/rocq-community.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# coqorg/coq\n\n[![tags](https://img.shields.io/badge/tags%20on-docker%20hub-blue.svg)](https://hub.docker.com/r/coqorg/coq#supported-tags \"Supported tags on Docker Hub\")\n[![pipeline status](https://gitlab.com/coq-community/docker-coq/badges/master/pipeline.svg)](https://gitlab.com/coq-community/docker-coq/-/pipelines)\n[![dev image](https://img.shields.io/badge/coqorg%2Fcoq-dev-blue.svg)](https://hub.docker.com/r/coqorg/coq/tags?page=1\u0026name=dev \"See dev image on Docker Hub\")\n[![pulls](https://img.shields.io/docker/pulls/coqorg/coq.svg)](https://hub.docker.com/r/coqorg/coq \"Number of pulls from Docker Hub\")\n[![stars](https://img.shields.io/docker/stars/coqorg/coq.svg)](https://hub.docker.com/r/coqorg/coq \"Star the image on Docker Hub\")  \n[![dockerfile](https://img.shields.io/badge/dockerfile%20on-github-blue.svg)](https://github.com/coq-community/docker-coq \"Dockerfile source repository\")\n[![base](https://img.shields.io/badge/depends%20on-coqorg%2Fbase-blue.svg)](https://hub.docker.com/r/coqorg/base \"Docker base image for Coq\")\n\nThis repository provides [Docker](https://www.docker.com/) images of the [Coq](https://github.com/coq/coq) proof assistant.\n\nThese images are based on [this parent image](https://hub.docker.com/r/coqorg/base/), itself based on [Debian 12 Slim](https://hub.docker.com/_/debian/) and relying on the last version of [opam 2.x](https://opam.ocaml.org/doc/Manual.html):\n\n|   | GitHub repo                                                             | Type          | Docker Hub                                             |\n|---|-------------------------------------------------------------------------|---------------|--------------------------------------------------------|\n|   | [docker-coq-action](https://github.com/coq-community/docker-coq-action) | GitHub Action | N/A                                                    |\n| ⊙ | [docker-coq](https://github.com/coq-community/docker-coq)               | Dockerfile    | [`coqorg/coq`](https://hub.docker.com/r/coqorg/coq/)   |\n| ↳ | [docker-base](https://github.com/coq-community/docker-base)             | Dockerfile    | [`coqorg/base`](https://hub.docker.com/r/coqorg/base/) |\n| ↳ | Debian                                                                  | Linux distro  | [`debian`](https://hub.docker.com/_/debian/)           |\n\nSee also the [docker-coq wiki](https://github.com/coq-community/docker-coq/wiki) for details about how to use these images.\n\nThis Dockerfile repository is [mirrored on GitLab](https://gitlab.com/coq-community/docker-coq), but [issues](https://github.com/coq-community/docker-coq/issues) and [pull requests](https://github.com/coq-community/docker-coq/pulls) are tracked on GitHub.\n\n\u003e [!NOTE]\n\u003e\n\u003e Note that this repository only contain Docker images for the Coq Proof Assistant ≤ 8.20.1.  \n\u003e For newest versions of the Rocq Prover ≥ 9.0, use [rocq/rocq-prover](https://hub.docker.com/r/rocq/rocq-prover) images instead.\n\n\u003c!-- tags --\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fdocker-coq","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frocq-community%2Fdocker-coq","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fdocker-coq/lists"}