Stream: Miscellaneous

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 to #coq-community devs & users > Docker images based on oldstable by Karl Palmskog.


Last updated: Aug 19 2022 at 20:03 UTC