this has been fixed by https://github.com/coq/opam/pull/3056
Karl Palmskog has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC