Bug#1021093: transition: ros2-rcutils

2022-10-01 Thread Timo Röhling
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Dear release team, I'd like to transition ros2-rcutils after a SONAME bump. I could rebuild all reverse dependencies on amd64

Bug#1021092: transition: libgit2

2022-10-01 Thread Timo Röhling
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Dear release team, I'd like to transition libgit2 after a SONAME bump. I've rebuilt most of the reverse dependencies successfully, some

Bug#1021090: transition: coq-hierarchy-builder

2022-10-01 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 Hi, there is a new version of coq-hierarchy-builder ; it requires rebuilding another package: nmu

Bug#1020564: marked as done (transition: coq-simple-io)

2022-10-01 Thread Debian Bug Tracking System
Your message dated Sat, 1 Oct 2022 18:40:48 +0200 with message-id and subject line Re: Bug#1020564: transition: coq-simple-io has caused the Debian Bug report #1020564, regarding transition: coq-simple-io to be marked as done. This means that you claim that the problem has been dealt with. If