On Tue, Jan 24, 2023 at 08:38:18AM -0500, Paul Tagliamonte wrote: > 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 :)
Sorry - one last note - if you do go about fixing this, since I did a rm of coq-theories in #1029538 (which was safe as a one-off RM since it had no r-deps), here's the *actual* command I want to run to decruft coq -- note it contains an additional binary package that no one has asked about yet -- libcoq-ocaml. 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 libcoq-ocaml-dev Thanks for your work! Paul -- :wq
