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: Jun 03 2023 at 03:01 UTC