Stream: Coq devs & plugin devs

Topic: ✔ V8.18.0 tag

view this post on Zulip Notification Bot (Sep 08 2023 at 10:29):

Enrico Tassi has marked this topic as resolved.

view this post on Zulip Enrico Tassi (Sep 08 2023 at 10:51):

CC @Erik Martin-Dorel for docker

view this post on Zulip Karl Palmskog (Sep 08 2023 at 11:14):

@Enrico Tassi Erik can't do the Docker without opam, is that already underway?

view this post on Zulip Olivier Laurent (Sep 08 2023 at 11:21):

https://github.com/ocaml/opam-repository/pull/24378

view this post on Zulip Erik Martin-Dorel (Sep 10 2023 at 21:09):

Thanks. BTW when you ping me, feel free to also ping @Jaime Arias which co-maintains docker-coq, so that the faster of us can take care of the task :-)

Last updated: Nov 29 2023 at 20:01 UTC