[renaming] coq.github.io -> rocq-prover.github.io#105

Open

mattam82 wants to merge 1 commit intocoq:mainfrom mattam82:renaming-opam-repo

Commits on Mar 12, 2025

Rename coq.github.io -> rocq-prover.github.io
mattam82
committed