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: Oct 21 2021 at 19:03 UTC