Samuel Hym (Jun 14 2022 at 18:51): 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?
Notification Bot (Jun 14 2022 at 19:19):This topic was moved here from #Miscellaneous > Docker images based on oldstable by Karl Palmskog.
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
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.
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) ;-)
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) Karl Palmskog (Jun 20 2022 at 20:45):can we get a retweet from @CoqLang @Théo Zimmermann ?
Erik Martin-Dorel (Jun 29 2022 at 00:02):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.)
Samuel Hym (Jun 29 2022 at 11:19):Thank you very much @Erik Martin-Dorel!
Notification Bot (Jun 29 2022 at 12:03):Karl Palmskog has marked this topic as resolved.
Last updated: Jun 07 2023 at 00:01 UTC