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: 7 months 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 7 years ago)
• Default Branch: master
• Last Pushed: 2024-10-21T19:46:48.000Z (over 1 year ago)
• Last Synced: 2024-10-22T13:18:35.327Z (over 1 year 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

• awesome-coq - Docker-MathComp - Docker images for many combinations of versions of Coq and the Mathematical Components library. (Projects / Package and Build Management)

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 last version of [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.