vscoq
vscoq copied to clipboard
maintenance intent for opam-repository
In the latest release of vsrocq, just merged, we noticed that you don't yet have a maintenance intent. Would you consider adding an x-maintenance-intent entry to the opam file? https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md
Thanks for the help!