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?
This topic was moved here from #Miscellaneous > Docker images based on oldstable by Karl Palmskog.
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
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.
That would be perfect for me, thank you!
(And I can say I like your caution in updating, for the user point of view) ;-)
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)
can we get a retweet from
@CoqLang @Théo Zimmermann ?
FYI @Samuel Hym:
→ 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.)
Thank you very much @Erik Martin-Dorel!
Karl Palmskog has marked this topic as resolved.
Last updated: Jun 07 2023 at 00:01 UTC