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 to #coq-community devs & users > Docker images based on oldstable by Karl Palmskog.
Last updated: Aug 19 2022 at 20:03 UTC