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 coq-theories (binary) packages from unstable. They correspond to an old coq source package, but coq has stopped building them for 4 months. Their presence makes noise in the permanent OCaml transition tracker [1]. [1] https://release.debian.org/transitions/html/ocaml.html Cheers, -- Stéphane