Coq 8.16+rc1 - Githubissues

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

https://hub.docker.com/r/coqorg/coq/

BSD 3-Clause "New" or "Revised" License

37 stars 3 forks source link

Closed erikmd closed 2 years ago

erikmd commented 2 years ago

Deploy Coq V8.16+rc1 with coq-bignums and coq-serapi:
- Add coqorg/coq:8.16-rc1 and ocaml variants (and tag synonyms)
- Add coqorg/coq:8.16-rc1-native (and tag synonyms)
Prepare as a mere comment, the spec for a later alpha image (Coq v8.17)
For details, see https://github.com/coq-community/docker-coq/wiki#supported-tags

erikmd commented 2 years ago

FTR as soon as this pipeline completes, one should be able to pull coqorg/coq:8.16 (with Coq V8.16+rc1).

Cc @ppedrot @Zimmi48 @palmskog @proux01 FYI

proux01 commented 2 years ago