Stream: coq-community devs & users

Topic: Docker images based on oldstable


view this post on Zulip Samuel Hym (Jun 14 2022 at 18:51):

The coq docker images are really useful (thanks a lot for that!) but I just got bitten once again by the fact that it’s based on debian oldstable and so the versions of some packages (make and gcc in my tests) are sometimes a bit too old.
Are there any plans to migrate to current debian stable?

view this post on Zulip Notification Bot (Jun 14 2022 at 19:19):

This topic was moved here from #Miscellaneous > Docker images based on oldstable by Karl Palmskog.

view this post on Zulip Karl Palmskog (Jun 14 2022 at 19:20):

we will have to check with @Erik Martin-Dorel if there are any longer-term plans to update the underlying Linux distribution for the Docker images

view this post on Zulip Erik Martin-Dorel (Jun 14 2022 at 20:22):

Thanks for the ping, @Karl Palmskog.

Indeed @Samuel Hym, I'm aware of this issue, the plan actually is to migrate to Debian stable in the very short run (which is easy to do), but I didn't want to do one such change without notice, given some users could have a compatibility issue "the other way around".

What I can propose, is to do some announcement on Discourse/Coq-club in a few days, to let users know about this pending migration and gather potential issues, then migrate one week after if everything goes smoothly.

view this post on Zulip Samuel Hym (Jun 16 2022 at 11:44):

That would be perfect for me, thank you!
(And I can say I like your caution in updating, for the user point of view) ;-)

view this post on Zulip Erik Martin-Dorel (Jun 20 2022 at 20:20):

Announcement posted, FYI: https://twitter.com/ErikMartinDorel/status/1538977099607859201

ANN/@CoqLang: If you use docker-coq images and (install Debian packages manually or use the docker-coq-action with ocaml_version: "minimal"), then you could be impacted by the upgrade planned on next Monday 2022-06-27: See https://coq.discourse.group/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702 for details.

- Martin-Dorel, Erik (@ErikMartinDorel)

view this post on Zulip Karl Palmskog (Jun 20 2022 at 20:45):

can we get a retweet from @CoqLang @Théo Zimmermann ?

view this post on Zulip Erik Martin-Dorel (Jun 29 2022 at 00:02):

Could some admin help me to mark this topic as resolved ?

(I dunno why I seem to have the corresponding right on several streams (where I see the button :check:), but not on this one; but, nevermind.)


Last updated: Feb 04 2023 at 02:03 UTC