ocaml.org
ocaml.org copied to clipboard
Name mangling of package versions in url results in broken redirects?
I guess this also affects OCaml.org's packages: https://github.com/coq/rocq-prover.org/issues/63 I couldn't find the culprit quickly :)