{"id":21193194,"url":"https://github.com/math-comp/docker-mathcomp","last_synced_at":"2025-07-04T15:32:54.218Z","repository":{"id":37834219,"uuid":"160655585","full_name":"math-comp/docker-mathcomp","owner":"math-comp","description":"Docker images of coq-mathcomp [maintainer=@erikmd]","archived":false,"fork":false,"pushed_at":"2024-10-21T19:46:48.000Z","size":133,"stargazers_count":6,"open_issues_count":3,"forks_count":2,"subscribers_count":12,"default_branch":"master","last_synced_at":"2024-10-22T13:18:35.327Z","etag":null,"topics":["ci","coq","docker-image","dockerfile","mathcomp","opam"],"latest_commit_sha":null,"homepage":"https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags","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/math-comp.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-12-06T10:03:41.000Z","updated_at":"2024-10-21T19:46:52.000Z","dependencies_parsed_at":"2023-01-17T17:15:51.763Z","dependency_job_id":"df019e2b-4006-49e1-9d02-e71fed08633f","html_url":"https://github.com/math-comp/docker-mathcomp","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fdocker-mathcomp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fdocker-mathcomp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fdocker-mathcomp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fdocker-mathcomp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/math-comp","download_url":"https://codeload.github.com/math-comp/docker-mathcomp/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":225615193,"owners_count":17496946,"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-image","dockerfile","mathcomp","opam"],"created_at":"2024-11-20T19:13:27.229Z","updated_at":"2025-07-04T15:32:54.213Z","avatar_url":"https://github.com/math-comp.png","language":"Dockerfile","funding_links":[],"categories":["Projects"],"sub_categories":["Package and Build Management"],"readme":"# mathcomp/mathcomp\n\n[![tags](https://img.shields.io/badge/tags%20on-docker%20hub-blue.svg)](https://hub.docker.com/r/mathcomp/mathcomp#supported-tags \"Supported tags on Docker Hub\")\n[![pipeline status](https://gitlab.inria.fr/math-comp/docker-mathcomp/badges/master/pipeline.svg)](https://gitlab.inria.fr/math-comp/docker-mathcomp/-/pipelines)\n[![pulls](https://img.shields.io/docker/pulls/mathcomp/mathcomp.svg)](https://hub.docker.com/r/mathcomp/mathcomp \"Number of pulls from Docker Hub\")\n[![stars](https://img.shields.io/docker/stars/mathcomp/mathcomp.svg)](https://hub.docker.com/r/mathcomp/mathcomp \"Star the image on Docker Hub\")  \n[![dockerfile](https://img.shields.io/badge/dockerfile%20on-github-blue.svg)](https://github.com/math-comp/docker-mathcomp \"Dockerfile source repository\")\n[![coq](https://img.shields.io/badge/depends%20on-coqorg%2Fcoq-blue.svg)](https://hub.docker.com/r/coqorg/coq \"Docker images of Coq\")\n[![mathcomp-dev](https://img.shields.io/badge/see%20also-mathcomp%2Fmathcomp--dev-brightgreen.svg)](https://hub.docker.com/r/mathcomp/mathcomp-dev \"Docker images of mathcomp-dev\")\n\nThis repository provides [Docker](https://www.docker.com/) images of (stable versions of) the [Mathematical Components](https://github.com/math-comp/math-comp) library for the [Coq](https://github.com/coq/coq) proof assistant.\n\nThese images are based on the [coqorg/coq](https://hub.docker.com/r/coqorg/coq/) images, itself based on [Debian 12 Slim](https://hub.docker.com/_/debian/) and relying on last version of [opam 2.x](https://opam.ocaml.org/doc/Manual.html).\n\nSee also the [docker-coq wiki](https://github.com/coq-community/docker-coq/wiki) for details about how to use such images locally or in a CI context.\n\nThis Dockerfile repository is [mirrored on GitLab](https://gitlab.inria.fr/math-comp/docker-mathcomp), but [issues](https://github.com/math-comp/docker-mathcomp/issues) and [pull requests](https://github.com/math-comp/docker-mathcomp/pulls) are tracked on GitHub.\n\n\u003c!-- tags --\u003e\n\n### Note to maintainers\n\nRead [this section from the math-comp wiki](https://github.com/math-comp/math-comp/wiki/Howto-Release#docker-images) for guidelines on how to maintain this repository.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmath-comp%2Fdocker-mathcomp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmath-comp%2Fdocker-mathcomp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmath-comp%2Fdocker-mathcomp/lists"}