Open ckeller opened 8 months ago
This documentation refers to https://github.com/coq/opam-coq-archive, but the repo is now called https://github.com/coq/opam.
Description of the problem
This documentation refers to https://github.com/coq/opam-coq-archive, but the repo is now called https://github.com/coq/opam.