issues
search
math-comp
/
docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags
BSD 3-Clause "New" or "Revised" License
6
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add Mathcomp 2.2.0
#32
proux01
closed
10 months ago
8
New 1.19.0 release
#31
proux01
closed
10 months ago
7
1.18.0 images
#30
pi8027
closed
1 year ago
1
coq-dev docker images seem broken
#29
JasonGross
closed
1 year ago
3
New release 2.1.0
#28
proux01
closed
1 year ago
0
Add -native packages
#27
JasonGross
opened
1 year ago
0
feat(images.yml): Deploy mathcomp/mathcomp stable images for coq.dev
#26
erikmd
closed
1 year ago
0
Add mathcomp-2.0.0
#25
proux01
closed
1 year ago
10
New release
#24
affeldt-aist
closed
1 year ago
7
New release
#23
affeldt-aist
closed
1 year ago
7
Add additional utility packages to most MathComp Docker images
#22
palmskog
opened
2 years ago
3
feat: Deploy `mathcomp/mathcomp:1.15.0-coq-*`
#21
erikmd
closed
2 years ago
0
feat: Propagate PR coq-community/docker-coq#47
#20
erikmd
closed
2 years ago
0
mathcomp-dev image failures due to opam version mismatch
#19
palmskog
closed
2 years ago
8
Remove the mathcomp/mathcomp:1.14.0-coq-dev image
#18
pi8027
closed
2 years ago
2
HB on mathcomp-dev/coq-dev docker image
#17
chdoc
closed
2 years ago
2
Release MC 1.14.0
#16
gares
closed
2 years ago
0
feat: Deploy `mathcomp/mathcomp:latest-coq-8.15`
#15
erikmd
closed
2 years ago
2
fix: Workaround #12
#14
erikmd
closed
2 years ago
0
New release 1.13
#13
CohenCyril
closed
3 years ago
3
Request to bump OCaml version to >= 4.07.0
#12
pi8027
closed
2 years ago
6
Build mathcomp/mathcomp:latest-coq-dev
#11
erikmd
closed
3 years ago
0
Add mathcomp/mathcomp:1.12.0-coq-8.13
#10
erikmd
closed
3 years ago
0
New release prepraration
#9
CohenCyril
closed
4 years ago
0
Remove mathcomp/mathcomp:latest-coq-dev (for 1.11.0)
#8
erikmd
closed
4 years ago
0
feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell
#7
erikmd
opened
4 years ago
0
feat: Switch to single-switch coq images
#6
erikmd
closed
2 years ago
1
please give the core team push rights
#5
gares
closed
5 years ago
1
Block update of librairies
#4
thery
closed
5 years ago
5
Added auto-build for mathcomp/mathcomp:1.8.0-coq-dev & Removed mathcomp/mathcomp:1.7.0-coq-dev
#3
erikmd
closed
5 years ago
2
Docker for mathcomp 1.8.0
#2
CohenCyril
closed
5 years ago
8
mathcomp for coq-8.9
#1
CohenCyril
closed
5 years ago
2