docker-coq icon indicating copy to clipboard operation
docker-coq copied to clipboard
verified publisher icon coq-community

Task: archive the 8.4, 8.5, 8.6 images after some proper announcement

Open erikmd opened this issue 1 year ago • 0 comments

cf. this Zulip post

Cc @Zimmi48 I open this issue just to keep track of the task, but it is not urgent, and I'll wait for the green light of the Rocq team anyway.

erikmd avatar Feb 05 '25 22:02 erikmd