Stream: coq-community devs & users

Topic: 8.12+beta1 in Docker-Coq?


view this post on Zulip Karl Palmskog (Jun 23 2020 at 11:19):

@Erik Martin-Dorel The 8.12 beta is out since a little while in OPAM core-dev, do you plan to (or have you already) updated coq:8.12 to use this?

view this post on Zulip Erik Martin-Dorel (Jun 23 2020 at 11:28):

Hi @Karl Palmskog, yes this is already the case:

https://hub.docker.com/layers/coqorg/coq/8.12/images/sha256-663de6f63d5bc5dc3af62fa0b1c1d94a89216d989a86a95a5e1a7a009d734696?context=explore

view this post on Zulip Erik Martin-Dorel (Jun 23 2020 at 11:28):

But maybe there will be a beta2 (?)

view this post on Zulip Karl Palmskog (Jun 23 2020 at 11:29):

right, I will ping you in the opam-archive PR if/when I package that

view this post on Zulip Karl Palmskog (Jun 23 2020 at 11:30):

the beta interest is not huge it seems, but it helps a ton to have the 8.12 image to migrate CI for projects


Last updated: Feb 05 2023 at 14:02 UTC