Bug#1002681: transition: ocaml

2022-02-01 Thread Sebastian Ramacher
On 2022-02-01 10:01:17, Stéphane Glondu wrote:
> Le 25/01/2022 à 05:39, Stéphane Glondu a écrit :
> >>> - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem
> >>> deprecated, should be removed from testing
> >>
> >> That would also require removal of:
> >>
> >> coq-elpi
> >> coq-hierarchy-builder
> >> elpi
> >> haxe
> >> liquidsoap
> >> mercurial-buildpackage
> >> morbig
> >> morsmall
> >> node-carto
> >> node-hsluv
> >> ocaml-sedlex
> >> ocaml-visitors
> >> pgocaml
> >> ppx-deriving
> >> ppx-deriving-yojson
> > 
> > Packages that used to depend on ppx-tools-versioned and/or ppxfind (in
> > testing) do no longer in their 4.13.1-compatible version (in
> > unstable)... That's why I said they seem deprecated.
> > 
> > In current unstable, the only reverse-dependencies that remain are eliom
> > and nurpawiki:
> > 
> >> glondu@coccia:~$ dak rm -Rn -s unstable ppx-tools-versioned ppxfind eliom 
> >> nurpawiki
> >> Will remove the following packages from unstable:
> >> [...]
> >> Checking reverse dependencies...
> >> No dependency problem found.
> 
> Now, I can simulate a successful migration of ocaml (and 273 other
> packages (including binNMUs)) if ppx-tools-versioned is removed at the
> same time...

At least llvm-toolchain-12 and libguestfs have autopkgtest regressions,
blocking the migration of ocaml and the rebuilds.

Cheers
-- 
Sebastian Ramacher



Bug#1002681: transition: ocaml

2022-02-01 Thread Stéphane Glondu
Le 25/01/2022 à 05:39, Stéphane Glondu a écrit :
>>> - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem
>>> deprecated, should be removed from testing
>>
>> That would also require removal of:
>>
>> coq-elpi
>> coq-hierarchy-builder
>> elpi
>> haxe
>> liquidsoap
>> mercurial-buildpackage
>> morbig
>> morsmall
>> node-carto
>> node-hsluv
>> ocaml-sedlex
>> ocaml-visitors
>> pgocaml
>> ppx-deriving
>> ppx-deriving-yojson
> 
> Packages that used to depend on ppx-tools-versioned and/or ppxfind (in
> testing) do no longer in their 4.13.1-compatible version (in
> unstable)... That's why I said they seem deprecated.
> 
> In current unstable, the only reverse-dependencies that remain are eliom
> and nurpawiki:
> 
>> glondu@coccia:~$ dak rm -Rn -s unstable ppx-tools-versioned ppxfind eliom 
>> nurpawiki
>> Will remove the following packages from unstable:
>> [...]
>> Checking reverse dependencies...
>> No dependency problem found.

Now, I can simulate a successful migration of ocaml (and 273 other
packages (including binNMUs)) if ppx-tools-versioned is removed at the
same time...


Cheers,

-- 
Stéphane



Bug#1002681: transition: ocaml

2022-01-24 Thread Stéphane Glondu
Le 24/01/2022 à 23:31, Sebastian Ramacher a écrit :
>> - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem
>> deprecated, should be removed from testing
> 
> That would also require removal of:
> 
> coq-elpi
> coq-hierarchy-builder
> elpi
> haxe
> liquidsoap
> mercurial-buildpackage
> morbig
> morsmall
> node-carto
> node-hsluv
> ocaml-sedlex
> ocaml-visitors
> pgocaml
> ppx-deriving
> ppx-deriving-yojson

Packages that used to depend on ppx-tools-versioned and/or ppxfind (in
testing) do no longer in their 4.13.1-compatible version (in
unstable)... That's why I said they seem deprecated.

In current unstable, the only reverse-dependencies that remain are eliom
and nurpawiki:

> glondu@coccia:~$ dak rm -Rn -s unstable ppx-tools-versioned ppxfind eliom 
> nurpawiki
> Will remove the following packages from unstable:
> [...]
> Checking reverse dependencies...
> No dependency problem found.


Cheers,

-- 
Stéphane



Bug#1002681: transition: ocaml

2022-01-24 Thread Sebastian Ramacher
On 2022-01-24 07:30:44 +0100, Stéphane Glondu wrote:
> Le 19/01/2022 à 09:34, Sebastian Ramacher a écrit :
> > The libguestfs build for the php8.1 transition migrated, so this
> > transition can proceed. Please go ahead.
> 
> 5 days later, most of packages have been rebuilt with the new OCaml. The
> remaining outliers are:
> 
> - hol-light (#1002983): the fix is not trivial and upstream doesn't seem
> interested in supporting a modern toolchain, should be removed from
> testing for the time being
> - otags (#1002940): seems dead upstream, should be removed from testing
> for the time being

Removal hint added.

> - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem
> deprecated, should be removed from testing

That would also require removal of:

coq-elpi
coq-hierarchy-builder
elpi
haxe
liquidsoap
mercurial-buildpackage
morbig
morsmall
node-carto
node-hsluv
ocaml-sedlex
ocaml-visitors
pgocaml
ppx-deriving
ppx-deriving-yojson

> - sks (#1002657): a patch is available
> - llvm-toolchain-11 (#1002607), llvm-toolchain-12 (#1002608): the fix is
> trivial

Those have been fixed.

> - eliom: a new upstream release is available, but it needs ocsipersist
> which is sitting in NEW... can be removed temporarily from testing if needed
> - nurpawiki: depends on eliom, can be removed temporarily from testing
> if needed

Removal hints added.

Cheers

> - llvm-toolchain-9: not in testing... as far as I understand, should be
> removed from Debian altogether
> - why3, frama-c: not in testing... FTBFS at the moment, but should be
> fixed in the future
> 
> 
> Cheers,
> 
> -- 
> Stéphane
> 

-- 
Sebastian Ramacher


signature.asc
Description: PGP signature


Bug#1002681: transition: ocaml

2022-01-23 Thread Stéphane Glondu
Le 19/01/2022 à 09:34, Sebastian Ramacher a écrit :
> The libguestfs build for the php8.1 transition migrated, so this
> transition can proceed. Please go ahead.

5 days later, most of packages have been rebuilt with the new OCaml. The
remaining outliers are:

- hol-light (#1002983): the fix is not trivial and upstream doesn't seem
interested in supporting a modern toolchain, should be removed from
testing for the time being
- otags (#1002940): seems dead upstream, should be removed from testing
for the time being
- ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem
deprecated, should be removed from testing
- sks (#1002657): a patch is available
- llvm-toolchain-11 (#1002607), llvm-toolchain-12 (#1002608): the fix is
trivial
- eliom: a new upstream release is available, but it needs ocsipersist
which is sitting in NEW... can be removed temporarily from testing if needed
- nurpawiki: depends on eliom, can be removed temporarily from testing
if needed
- llvm-toolchain-9: not in testing... as far as I understand, should be
removed from Debian altogether
- why3, frama-c: not in testing... FTBFS at the moment, but should be
fixed in the future


Cheers,

-- 
Stéphane



Bug#1002681: transition: ocaml

2022-01-19 Thread Sebastian Ramacher
Control: tags -1 confirmed

On 2022-01-11 11:17:25 +0100, Sebastian Ramacher wrote:
> Control: block -1 by 976811
> 
> On 2022-01-10 07:57:21 +0100, Stéphane Glondu wrote:
> > Control: tags -1 - moreinfo
> > 
> > Le 09/01/2022 à 17:49, Sebastian Ramacher a écrit :
> > > Please remove the moreinfo tag once ocaml-odoc-parser has been accepted.
> > 
> > It has been yesterday.
> > 
> > I think this transition is ready to be started.
> 
> This transition collides with the ongoing php8.1 transition (libguestfs,
> #1002986). So let's wait until that is complete.

The libguestfs build for the php8.1 transition migrated, so this
transition can proceed. Please go ahead.

Cheers
-- 
Sebastian Ramacher


signature.asc
Description: PGP signature


Bug#1002681: transition: ocaml

2022-01-11 Thread Sebastian Ramacher
Control: block -1 by 976811

On 2022-01-10 07:57:21 +0100, Stéphane Glondu wrote:
> Control: tags -1 - moreinfo
> 
> Le 09/01/2022 à 17:49, Sebastian Ramacher a écrit :
> > Please remove the moreinfo tag once ocaml-odoc-parser has been accepted.
> 
> It has been yesterday.
> 
> I think this transition is ready to be started.

This transition collides with the ongoing php8.1 transition (libguestfs,
#1002986). So let's wait until that is complete.

Cheers

> 
> As usual, I will take care of binNMUs.
> 
> 
> Cheers,
> 
> -- 
> Stéphane
> 

-- 
Sebastian Ramacher


signature.asc
Description: PGP signature


Bug#1002681: transition: ocaml

2022-01-09 Thread Stéphane Glondu
Control: tags -1 - moreinfo

Le 09/01/2022 à 17:49, Sebastian Ramacher a écrit :
> Please remove the moreinfo tag once ocaml-odoc-parser has been accepted.

It has been yesterday.

I think this transition is ready to be started.

As usual, I will take care of binNMUs.


Cheers,

-- 
Stéphane



Bug#1002681: transition: ocaml

2022-01-09 Thread Sebastian Ramacher
Control: forwarded -1 
https://release.debian.org/transitions/html/ocaml-4.13.1.html
Control: tags -1 moreinfo

On 2021-12-27 09:35:59 +0100, Stéphane Glondu wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian@packages.debian.org
> Usertags: transition
> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
> 
> Dear Release Team,
> 
> I've updated ocaml to 4.13.1 (released on 2021-10-01) and uploaded to
> experimental. It builds on all release architectures, and most of
> ports as well.
> 
> Version currently in unstable is 4.11.1 (released on 2020-09-01).
> 
> I've tried to rebuild all related packages with the new version, and
> the breakage is minimal:
> 
>   https://ocaml.debian.net/transitions/ocaml-4.13.1/
> 
> A new version of ocaml-odoc is required, and it depends on a package
> (ocaml-odoc-parser) which is in the NEW queue. When it is accepted, I
> think we can proceed to updating OCaml in unstable.

Please remove the moreinfo tag once ocaml-odoc-parser has been accepted.

Cheers

> 
> 
> Ben file:
> 
> title = "ocaml";
> is_affected = .depends ~ "ocaml.*4\.11\.1" | .depends ~ "ocaml.*4\.13\.1";
> is_good = .depends ~ "ocaml.*4\.13\.1";
> is_bad = .depends ~ "ocaml.*4\.11\.1";
> 
> 
> Cheers,
> 
> -- 
> Stéphane

-- 
Sebastian Ramacher


signature.asc
Description: PGP signature


Bug#1002681: transition: ocaml

2021-12-27 Thread Stéphane Glondu
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org

Dear Release Team,

I've updated ocaml to 4.13.1 (released on 2021-10-01) and uploaded to
experimental. It builds on all release architectures, and most of
ports as well.

Version currently in unstable is 4.11.1 (released on 2020-09-01).

I've tried to rebuild all related packages with the new version, and
the breakage is minimal:

  https://ocaml.debian.net/transitions/ocaml-4.13.1/

A new version of ocaml-odoc is required, and it depends on a package
(ocaml-odoc-parser) which is in the NEW queue. When it is accepted, I
think we can proceed to updating OCaml in unstable.


Ben file:

title = "ocaml";
is_affected = .depends ~ "ocaml.*4\.11\.1" | .depends ~ "ocaml.*4\.13\.1";
is_good = .depends ~ "ocaml.*4\.13\.1";
is_bad = .depends ~ "ocaml.*4\.11\.1";


Cheers,

-- 
Stéphane