Bug#1091458: transition: coq-ext-lib

Control: tags -1 confirmed On 26/12/2024 21:46, 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 A new coq-ext-lib version is out and two other packages need to be

Bug#1091458: transition: coq-ext-lib

Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org A new coq-ext-lib version is out and two other packages need to be recompiled. I checked them locally so I'm sure this transition will ru