Stream: Coq Platform devs & users

Topic: Documenting gotchas in packages


view this post on Zulip Karl Palmskog (Sep 02 2020 at 09:31):

So I think we could try to use post messages in OPAM packages to document known gotchas: https://opam.ocaml.org/doc/Manual.html#opamfield-post-messages

For example, this might be a good place to explain the non-standard file layouts for coq-compcert-64 and coq-vst-64.


Last updated: Jan 30 2023 at 11:03 UTC