Closed erikmd closed 4 years ago
for more consistency (to have the same granularity for both $COQ and $OCAML versions), the coqorg/coq:*-4.09* images have been renamed (and 4.09.0+flambda is replaced with 4.09.1+flambda)
coqorg/coq:*-4.09*
cf. the (now automatically generated) README of the coqorg/coq repo: https://hub.docker.com/r/coqorg/coq
coqorg/coq
for more consistency (to have the same granularity for both $COQ and $OCAML versions), the
coqorg/coq:*-4.09*images have been renamed (and 4.09.0+flambda is replaced with 4.09.1+flambda)cf. the (now automatically generated) README of the
coqorg/coqrepo: https://hub.docker.com/r/coqorg/coq