Hi,
Le 26/06/2024 à 11:38, Emilio Pozuelo Monfort a écrit :
Assuming xen gets fixed, I checked if the rest could be removed:
$ dak rm -Rn -s testing approx cairo-ocaml camlimages camltemplate
coinst cothreads cryptgps facile frama-c gd4o hlins hol-light lablgl
ledit mcl14 misery mlpcap nproc ocamlagrep ocamlcreal ocaml-cry ocamldap
ocamldsort ocaml-expect ocaml-gnuplot ocaml-inifiles ocaml-magic
ocaml-merlin ocaml-obuild ocaml-reins ocaml-rope ocamlrss
ocaml-stdcompat ocaml-tools pagodacf orpie pa-ounit planets pxp polygen
sks wyrd xstr
[...]
Checking reverse dependencies...
# Broken Depends:
cappuccino: cappuccino
ikiwiki-hosting: ikiwiki-hosting-web [amd64 arm64 armel armhf i386
mips64el ppc64el s390x]
meta-ocaml: ocaml-libs
# Broken Build-Depends:
advi: libcamlimages-ocaml-dev (1:5.0.3 >=)
cappuccino: polygen
coccinelle: libstdcompat-ocaml-dev
kalzium: libfacile-ocaml-dev
pyml: libstdcompat-ocaml-dev (13 >=)
Not sure if all of those can also be removed (along with their
reverse-deps, if any). At least kalzium is a key package, so it'd be
good to get its (build-)deps fixed.
I have pending fixes for polygen, ocaml-stdcompat, facile and meta-ocaml.
In your "dak rm" call, you can:
- remove polygen, ocaml-stdcompat and facile
- add advi and meta-ocaml
and no dependency problem should be found (actually, it fails with an
unrelated error)
In the meantime, I successfully built scilab and Julien Puydt
successfully built coq-unimath.
The remaining unknowns are llvm-toolchain-{14,15,16,17,18}... BTW, why
do we need so many versions?. I really tried building llvm-toolchain-18
(with parallel=12), but had to kill the job after 3 hours because my
laptop was becoming unusable... I simply don't have the resources to
build the package! Now, I do no longer care about the compatibility of
llvm-toolchain-* packages with OCaml 5.2.0... Worst case scenario: the
OCaml bindings can be disabled (they don't have reverse dependencies in
Debian).
Cheers,
--
Stéphane
