tags 1029547 + moreinfo thanks On Tue, Jan 24, 2023 at 10:53:49AM +0100, julien.pu...@gmail.com wrote: > Dear FTP Team, > > Please remove all libcoq-ocaml-dev (binary) packages from unstable.
The (now) infamous coq package. It's on our cruft-report, but we're unable to handle it very gracefully, since removing this package will break r-deps. I've included the output[1] from `mirror.ftp-master.debian.org` along with a removal command that we'd run from ftp-master down below at[2] > They correspond to an old coq source package, but coq has stopped > building them for months. Thanks! If you would be able to fix the r-deps to stop other packages from depending on a package that hasn't been built for a few months, we should be able to do this no problem. The auto-decrufter may even pick it up without humans after that's done :) [1]: Checking reverse dependencies... # Broken Depends: coq-elpi: libcoq-elpi [amd64 arm64 i386 ppc64el] # Broken Build-Depends: coq-bignums: libcoq-ocaml-dev coq-corn: libcoq-ocaml-dev coq-deriving: libcoq-ocaml-dev coq-dpdgraph: libcoq-ocaml-dev coq-elpi: libcoq-ocaml-dev (8.15 >=) coq-equations: libcoq-ocaml-dev coq-ext-lib: libcoq-ocaml-dev coq-extructures: libcoq-ocaml-dev coq-gappa: libcoq-ocaml-dev coq-hammer: libcoq-ocaml-dev coq-hott: libcoq-ocaml-dev coq-interval: libcoq-ocaml-dev coq-iris: libcoq-ocaml-dev coq-libhyps: libcoq-ocaml-dev coq-math-classes: libcoq-ocaml-dev coq-menhirlib: libcoq-ocaml-dev coq-mtac2: libcoq-ocaml-dev coq-quickchick: libcoq-ocaml-dev coq-record-update: libcoq-ocaml-dev coq-reduction-effects: libcoq-ocaml-dev coq-reglang: libcoq-ocaml-dev coq-relation-algebra: libcoq-ocaml-dev coq-simple-io: libcoq-ocaml-dev coq-stdpp: libcoq-ocaml-dev coq-unicoq: libcoq-ocaml-dev coq-unimath: libcoq-ocaml-dev coqeal: libcoq-ocaml-dev coqprime: libcoq-ocaml-dev coquelicot: libcoq-ocaml-dev flocq: libcoq-ocaml-dev ott: libcoq-ocaml-dev paramcoq: libcoq-ocaml-dev [2]: first `ssh mirror.ftp-master.debian.org`, and then run: dak rm -o -m "[auto-cruft] NBS (no longer built by coq)" -s unstable \ -a amd64,arm64,armhf,i386,ppc64el,s390x -p -R -b libcoq-ocaml-dev -- :wq
