Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-05-02 Thread Stéphane Glondu
Dear Sebastian, Le 23/04/2023 à 11:36, Sebastian Ramacher a écrit : ocaml 4.13.1-4 causes the ABI to change for at least why3. Do you expect that the ABI of ther ocaml packages also changes? If so, we should rebuild the ocaml world before the release to not get any surprises if a ocaml package

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-23 Thread Sebastian Ramacher
Hi Stéphane On 2023-04-22 20:28:34 +0200, Jochen Sprickerhof wrote: > * Sebastian Ramacher [2023-04-22 16:06]: > > Both why3 and frama-c have been rebuilt after the last ocaml ABI change. > > From a quick between a build now and from the last why3, the following > > packages changed (that appear

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Jochen Sprickerhof
* Sebastian Ramacher [2023-04-22 16:06]: Both why3 and frama-c have been rebuilt after the last ocaml ABI change. From a quick between a build now and from the last why3, the following packages changed (that appear to be relevant): libcairo2-ocaml-dev (= [-0.6.2+dfsg-1+b1),-]

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Sebastian Ramacher
On 2023-04-22 11:30:48 +0200, Jochen Sprickerhof wrote: > Control: tag -1 - moreinfo > > Hi Sebastian, > > * Sebastian Ramacher [2023-04-22 11:10]: > > On 2023-04-21 21:35:21 +0200, Jochen Sprickerhof wrote: > > > Package: release.debian.org > > > Severity: normal > > > User:

Processed: Re: Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Debian Bug Tracking System
Processing control commands: > tag -1 - moreinfo Bug #1034691 [release.debian.org] nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10 Removed tag(s) moreinfo. -- 1034691: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1034691 Debian Bug Tracking System Contact ow...@bugs.debian.org with

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Jochen Sprickerhof
Control: tag -1 - moreinfo Hi Sebastian, * Sebastian Ramacher [2023-04-22 11:10]: On 2023-04-21 21:35:21 +0200, Jochen Sprickerhof wrote: Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: binnmu X-Debbugs-Cc: w...@packages.debian.org Control:

Processed: Re: Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Debian Bug Tracking System
Processing control commands: > tags -1 moreinfo Bug #1034691 [release.debian.org] nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10 Added tag(s) moreinfo. -- 1034691: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1034691 Debian Bug Tracking System Contact ow...@bugs.debian.org with

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-22 Thread Sebastian Ramacher
Control: tags -1 moreinfo Hi Jochen On 2023-04-21 21:35:21 +0200, Jochen Sprickerhof wrote: > Package: release.debian.org > Severity: normal > User: release.debian@packages.debian.org > Usertags: binnmu > X-Debbugs-Cc: w...@packages.debian.org > Control: affects -1 + src:why3 src:frama-c >

Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

2023-04-21 Thread Jochen Sprickerhof
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: binnmu X-Debbugs-Cc: w...@packages.debian.org Control: affects -1 + src:why3 src:frama-c Hi release team, can you please binNMU why3 to pick up the new ABI: nmu why3_1.5.1-1+b1 . ANY . unstable .