On Tue, Jan 24, 2023 at 08:50:22AM -0500, Paul Tagliamonte wrote:
> 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
I've been following your hard work dilligently uploading fixes for all
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
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
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: c...@packages.debian.org,
debian-ocaml-ma...@lists.debian.org
Control: affects -1 + src:coq
Dear FTP Team,
Please remove all libcoq-ocaml-dev (binary) packages from unstable.
They
4 matches
Mail list logo
