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: Feb 06 2023 at 00:03 UTC