On 16/11/2024 15:43, Julien Puydt wrote:
Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
Coq version 8.20 has been out since the beginning of september. I
prepared a coherent set of versions for the whole Coq-in-Debian set of
packages (45 packages).
I need a transition slot before I upload anything.
Have you done any local rebuilds to ensure that packages build fine against the
new coq version?
Emilio
