Stream: coq-community devs & users

Topic: ✔ coq:dev Docker tag currently unavailable


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

@Karl Palmskog, can you mark this Zulip stream as :check: ? apparently only the OriginalPoster can do it.

(FTR, the corresponding GitHub issue, now closed, was coq-community/docker-coq#46)

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

Ali Caglayan has marked this topic as resolved.


Last updated: Feb 05 2023 at 14:02 UTC