Bug#1019239: transition: coq (41 packages involved)

On 2022-09-11 13:35:11 +0200, julien.pu...@gmail.com wrote: > Le samedi 10 septembre 2022 à 12:12 +0200, Sebastian Ramacher a écrit : > > > > The rebuild are now done, but there are some autopkgtest regressions. > > They all look like > >

Bug#1019239: transition: coq (41 packages involved)

Le samedi 10 septembre 2022 à 12:12 +0200, Sebastian Ramacher a écrit : > > The rebuild are now done, but there are some autopkgtest regressions. > They all look like > https://ci.debian.net/data/autopkgtest/testing/amd64/c/coq-iris/25883605/log.gz > . > Are there some packages that lack the

Bug#1019239: transition: coq (41 packages involved)

Hi Le sam. 10 sept. 2022 à 14:00, Sebastian Ramacher a écrit : > > coq-stdpp can be installed with any coq version. That will need fixing. > The coq version is a non-issue: the libcoq-stdlib dep should already cover that. I'll look into why it doesn't. Cheers J.Puydt >

Bug#1019239: transition: coq (41 packages involved)

On 2022-09-10 13:24:56 +0200, Sebastian Ramacher wrote: > On 2022-09-10 12:59:12 +0200, Julien Puydt wrote: > > Hi > > > > Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a > > écrit : > > > > > > > > The rebuild are now done, but there are some autopkgtest regressions. > > > They all look

Bug#1019239: transition: coq (41 packages involved)

On 2022-09-10 12:59:12 +0200, Julien Puydt wrote: > Hi > > Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a > écrit : > > > > > The rebuild are now done, but there are some autopkgtest regressions. > > They all look like > > > >

Bug#1019239: transition: coq (41 packages involved)

Hi Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a écrit : > > The rebuild are now done, but there are some autopkgtest regressions. > They all look like > > https://ci.debian.net/data/autopkgtest/testing/amd64/c/coq-iris/25883605/log.gz > . > Are there some packages that lack the proper

Bug#1019239: transition: coq (41 packages involved)

Hi Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a écrit : > On 2022-09-06 10:56:14 +0200, julien.pu...@gmail.com wrote: > > Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit : > > > Control: tags -1 confirmed > > > > > > Please go ahead and let me know once you're done

Bug#1019239: transition: coq (41 packages involved)

On 2022-09-06 10:56:14 +0200, julien.pu...@gmail.com wrote: > Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit : > > Control: tags -1 confirmed > > > > Please go ahead and let me know once you're done with all the > > uploads. > > "dput *_source.changes" in the directory

Bug#1019239: transition: coq (41 packages involved)

Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit : > Control: tags -1 confirmed > > Please go ahead and let me know once you're done with all the > uploads. "dput *_source.changes" in the directory where I prepared the new uploads just finished. Thanks, J.Puydt

Bug#1019239: transition: coq (41 packages involved)

Control: tags -1 confirmed On 2022-09-06 07:14:25 +0200, Julien Puydt 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 > > Hi, > > I would

Processed: Re: Bug#1019239: transition: coq (41 packages involved)

Processing control commands: > tags -1 confirmed Bug #1019239 [release.debian.org] transition: coq (41 packages involved) Added tag(s) confirmed. -- 1019239: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019239 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1019239: transition: coq (41 packages involved)

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, I would like to upload coq 8.16.0+dfsg-1 to unstable ; that also means uploading a number of new versions for