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-ma...@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