Processed: Re: Bug#1025531: transition: elpi 1.16.8-1

2022-12-06 Thread Debian Bug Tracking System
Processing control commands: > tags -1 confirmed Bug #1025531 [release.debian.org] transition: elpi 1.16.8-1 Added tag(s) confirmed. -- 1025531: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1025531 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1025531: transition: elpi 1.16.8-1

2022-12-06 Thread Sebastian Ramacher
Control: tags -1 confirmed On 2022-12-06 10:42:46 +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#1025531: transition: elpi 1.16.8-1

2022-12-06 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 elpi is out ; it requires rebuilding all depending packages: nmu coq-elpi_1.16.0-1+b2