Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/math-comp/docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
https://github.com/math-comp/docker-mathcomp
ci coq docker-image dockerfile mathcomp opam
Last synced: about 1 month ago
JSON representation
Docker images of coq-mathcomp [maintainer=@erikmd]
- Host: GitHub
- URL: https://github.com/math-comp/docker-mathcomp
- Owner: math-comp
- License: bsd-3-clause
- Created: 2018-12-06T10:03:41.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2024-10-21T19:46:48.000Z (2 months ago)
- Last Synced: 2024-10-22T13:18:35.327Z (2 months ago)
- Topics: ci, coq, docker-image, dockerfile, mathcomp, opam
- Language: Dockerfile
- Homepage: https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags
- Size: 130 KB
- Stars: 6
- Watchers: 12
- Forks: 2
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# mathcomp/mathcomp
[![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")
[![pipeline status](https://gitlab.inria.fr/math-comp/docker-mathcomp/badges/master/pipeline.svg)](https://gitlab.inria.fr/math-comp/docker-mathcomp/-/pipelines)
[![pulls](https://img.shields.io/docker/pulls/mathcomp/mathcomp.svg)](https://hub.docker.com/r/mathcomp/mathcomp "Number of pulls from Docker Hub")
[![stars](https://img.shields.io/docker/stars/mathcomp/mathcomp.svg)](https://hub.docker.com/r/mathcomp/mathcomp "Star the image on Docker Hub")
[![dockerfile](https://img.shields.io/badge/dockerfile%20on-github-blue.svg)](https://github.com/math-comp/docker-mathcomp "Dockerfile source repository")
[![coq](https://img.shields.io/badge/depends%20on-coqorg%2Fcoq-blue.svg)](https://hub.docker.com/r/coqorg/coq "Docker images of Coq")
[![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")This 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.
These 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 [opam 2.x](https://opam.ocaml.org/doc/Manual.html).
See 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.
This 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.
### Note to maintainers
Read [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.