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
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
* 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),-]
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:
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
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:
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
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
>
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 .
9 matches
Mail list logo