Marcello Seri
Results
82
issues of
Marcello Seri
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...
In 2025 we introduced a policy and set of processes to move unmaintained or obsolete package versions to the [opam-repository-archive](https://github.com/ocaml/opam-repository-archive). The main downside is that unmaintained packages's versions, that are...