The webpage for the package repository can no longer be opened. Is there anything wrong? Thanks!
This is not a webpage, this is just a place containing binary data for Opam. It is not meant to be opened using a web browser. If you are looking for the documentation, it is here: Install Coq with opam | The Coq Proof Assistant, and if you are looking for the list of packages, it is here: Coq Package Index | The Coq Proof Assistant.
Oh, I have tested that it indeed still works well with opam. Sorry for the misunderstanding!
It is the second time I see this kind of inquiry. By comparison, the link https://opam.ocaml.org is readable by a web-browser. Maybe we should make this link redirect to Coq Package Index | The Coq Proof Assistant, to avoid further questions.