Bug#1096036: transition: coq 8.20.1

2025-02-17 Thread Emilio Pozuelo Monfort
On 17/02/2025 16:20, Julien Puydt wrote: Le lundi 17 février 2025 à 15:20 +0100, Emilio Pozuelo Monfort a écrit : On 15/02/2025 15:18, Julien Puydt wrote: Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-Cc: jpu...@debian.o

Bug#1096036: transition: coq 8.20.1

2025-02-17 Thread Emilio Pozuelo Monfort
On 15/02/2025 15:18, Julien Puydt wrote: Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-Cc: jpu...@debian.org X-Debbugs-Cc: Debian OCaml Maintainers A new upstream version of Coq is out ; it requires rebuilding all depend

Bug#1096036: transition: coq 8.20.1

2025-02-15 Thread Julien Puydt
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-Cc: jpu...@debian.org X-Debbugs-Cc: Debian OCaml Maintainers A new upstream version of Coq is out ; it requires rebuilding all depending packages, and updating some of them (se