Stream: Coq devs & plugin devs

Topic: 8.12.1 packaging

view this post on Zulip Ralf Jung (Nov 13 2020 at 19:21):

FYI (to avoid duplicate work): I am preparing an opam package for 8.12.1.

view this post on Zulip Ralf Jung (Nov 13 2020 at 23:10):

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

Last updated: Sep 25 2023 at 12:01 UTC