Finish renaming to Rocq #42
Description
We should change references to the old coq-community/coq-tricks URL to account for the Rocq renaming, as well as fixing the README and some other places in the opam file.
{{ message }}
We should change references to the old coq-community/coq-tricks URL to account for the Rocq renaming, as well as fixing the README and some other places in the opam file.