[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1073983: marked as done (transition: ocaml)

Your message dated Tue, 20 Aug 2024 09:37:53 +0200
with message-id <4ef64c8c-e8e4-4e02-a2ab-4484ea4df7e0@debian.org>
and subject line Re: Bug#1073983: transition: ocaml
has caused the Debian Bug report #1073983,
regarding transition: ocaml
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1073983: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073983
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: release.debian.org
Severity: normal
X-Debbugs-Cc: ocaml@packages.debian.org
Control: affects -1 + src:ocaml
User: release.debian.org@packages.debian.org
Usertags: transition

Dear Release Team,

I uploaded ocaml 5.2.0 to experimental, and it builds successfully on
all release architectures:

  https://buildd.debian.org/status/package.php?p=ocaml&suite=experimental

I recompiled the OCaml world with it:

  http://ocaml.debian.net/transitions/ocaml-5.2.0/

At most 389 source packages are involved. A binNMU will suffice for
most of them. I've posted a summary there:

  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073289#50

I think all problematic packages can be removed from testing. Bugs
have been filed:

  https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ocaml-5.2.0-transition;users=debian-ocaml-maint@lists.debian.org

I hereby request a transition slot.


Ben file:

title = "ocaml";
is_affected = .depends ~ /ocaml(-base)?-4\.14\.1/ | .depends ~ /ocaml(-base)?-5\.2\.0/;
is_good = .depends ~ /ocaml(-base)?-5\.2\.0/;
is_bad = .depends ~ /ocaml(-base)?-4\.14\.1/;


Cheers,

-- 
Stéphane

--- End Message ---
--- Begin Message --- 
On 13/08/2024 08:03, Stéphane Glondu wrote:

Dear Emilio,

Le 12/08/2024 à 10:31, Emilio Pozuelo Monfort a écrit :

As expected, removal hints will be needed, which I've put in 3 categories:

# Independent broken packages

   hol-light (#1073882)
   ocaml-ffmpeg (#1072440)
   ocaml-lo (#1075329)
   pa-ounit (#1073907)
   ppx-tools (#1078383)
   sks (#1073911)


What about those?


# libguestfs related packages (#1078470)

   guestfs-tools
   libguestfs
   virt-v2v
   guestfs-tools
   ceilometer-instance-poller
   ironic-python-agent
   nbdkit
   virt-p2v
   qemu-web-desktop
   oz
   kworkflow
   virtnbdbackup
I see the bug has a patch. I'd rather it gets fixed rather than removing all of that, if possible. 

Done.


# coq related packages (#1078252)

   aac-tactics
   coq
   coq-bignums
   coq-corn
   coq-deriving
   coq-doc
   coq-dpdgraph
   coqeal
   coq-elpi
   coq-equations
   coq-ext-lib
   coq-extructures
   coq-gappa
   coq-hammer
   coq-hierarchy-builder
   coq-hott
   coq-interval
   coq-iris
   coq-libhyps
   coq-math-classes
   coq-menhirlib
   coq-mtac2
   coqprime
   coq-quickchick
   coq-record-update
   coq-reduction-effects
   coq-reglang
   coq-relation-algebra
   coq-serapi
   coq-simple-io
   coq-stdpp
   coquelicot
   coq-unicoq
   coq-unimath
   elpi
   flocq
   mathcomp-algebra-tactics
   mathcomp-analysis
   mathcomp-bigenough
   mathcomp-finmap
   mathcomp-multinomials
   mathcomp-real-closed
   mathcomp-zify
   ott
   paramcoq
   ssreflect
Those should be removed in unstable by ftp-masters, then the removal will be propagated to testing once the transition migrates.
My idea was to remove them now to ease the transition, and let them migrate back to testing later, automatically. Despite the big number of packages, this is a self-contained cluster. 

See also #1078578.


I applied the hints and ocaml is now in testing.

Cheers,
Emilio

--- End Message ---
Reply to: