Bug#1024451: transition: coq-elpi

Control: tags -1 confirmed Hi Julien On 2022-11-19 18:31:07 +0100, julien.pu...@gmail.com 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 > >

Bug#1024451: transition: coq-elpi

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 Hi, there is a new version of coq-elpi ; it requires rebuilding other packages: nmu coq-hierarchy-builder_1.4.0-