Bug#1052239: transition: ocaml

[Sebastian Ramacher <sramacher@debian.org>]

On 2023-09-23 06:54:50 +0200, Stéphane Glondu wrote:
> Hi all,
> 
> Le 20/09/2023 à 09:44, Sebastian Ramacher a écrit :
> > Good. Please go ahead
> 
> I've uploaded ocaml 4.14.1-1 3 days ago, then uploaded camlp4, ocamlnet, a
> few other arch:all packages that could not be binNMUed, and binNMUed all the
> rest.
> 
> All packages, except the ones I had already spotted during my test rebuild,
> built fine on all release architectures:
> 
>   https://release.debian.org/transitions/html/ocaml.html
> 
> scilab's status is unrelated to this transition; there are open RC bugs for
> the other "bad" packages:
> 
> 
> https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ocaml-4.14.1-transition;users=debian-ocaml-maint@lists.debian.org
> 
> The following packages should be removed from testing for now:
> 
>   gmetadom otags xmlrpc-light mlpost ulex0.8 ocamlviz

Removal hints added.

Note though, that are also autopkgtest regressions:

∙ ∙ autopkgtest for coq-dpdgraph/1.0+8.17-1: amd64: Pass, arm64: Regression ♻ (reference ♻), armhf: Pass, i386: Pass, ppc64el: Regression ♻ (reference ♻), s390x: Pass
∙ ∙ autopkgtest for coq-quickchick/2.0-2: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), armhf: Pass, i386: Pass, ppc64el: Pass, s390x: Regression ♻ (reference ♻)

> There is also another issue I didn't foresee: the binary package
> libllvm-13-ocaml-dev would be broken in testing by the migration of ocaml
> 4.14.1. Its source package, llvm-toolchain-13, has been removed from
> unstable and cannot be removed from testing because of... Haskell!
> 
> libllvm-13-ocaml-dev has no reverse dependencies, though... Is it possible
> to remove just this one from testing as well? Or to explicitly allow its
> breakage?

As there are no reverse dependencies, let's break it. Once ghc is
fixed and the haskell stack is ready to migrate, it will be removed from
testing.

Cheers
-- 
Sebastian Ramacher