On 16/11/2024 15:43, Julien Puydt wrote:
Package: release.debian.org Severity: normal User: [email protected] Usertags: transition X-Debbugs-CC: [email protected]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
