Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
This is an archived project. Repository and other project resources are read-only.
math-comp
docker-mathcomp
Branches
Overview
Active
Stale
All
Stale branches
single-switch
f939efc6
·
feat: Switch to single-switch coq images
·
Jul 03, 2020
bash-shell
88cd6082
·
feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell
·
Jul 03, 2020
pr-7
88cd6082
·
feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell
·
Jul 03, 2020
remove-mc.1.14-coq.dev
c8e63084
·
Remove the mathcomp/mathcomp:1.14.0-coq-dev image
·
Apr 01, 2022
master
default
protected
326ca1c3
·
Merge pull request #23 from math-comp/mathcomp-1.16.0
·
Feb 02, 2023