Stream: Coq devs & plugin devs

Topic: Error: The file /root/.opamcache/4.13.0+flambda/lib/ocaml/un

view this post on Zulip Enrico Tassi (Apr 25 2022 at 13:35):

Have you ever seen this error?

Error: The file /root/.opamcache/4.13.0+flambda/lib/ocaml/unix.cmxa
is not a compilation unit description

eg: https://gitlab.com/coq/coq/-/jobs/2372840162

view this post on Zulip Pierre-Marie Pédrot (Apr 25 2022 at 13:44):

https://github.com/coq/coq/pull/15940

Last updated: Oct 13 2024 at 01:02 UTC