Remove section inherited from OCaml.org irrelevant for Rocq.#78

Merged

Zimmi48 merged 2 commits intomainfrom remove-irrelevant-packages-section

Jan 29, 2025

+1-29

Commits on Jan 29, 2025

Remove section inherited from OCaml.org irrelevant for Rocq.

Zimmi48
authored and
mattam82
committed
Link to packaging tutorial for Coq until we import it in the Rocq website (#61 ).

Zimmi48
authored and
mattam82
committed