Bug#1027057: transition: coq-bignums 8.17.0-1

Control: tags -1 confirmed On 2022-12-27 12:04: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 > > > A new

Bug#1027057: transition: coq-bignums 8.17.0-1

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-bignums is out ; it requires rebuilding all depending packages: nmu