Re: Packaging Rocq and Friends

[Ludovic Courtès]

Heya Jonathan!

Did you try to reach out to the OCaml team (Julien and pukkamustard)?

Coq is already packaged so I’d expect Rocq to be “just” an upgrade
(famous last words)?

Ludo’.