Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: rm
buster currently carries coq/8.9.0-1, but coq-doc still documents Coq 8.6. Building the reference manual for 8.9.0 requires the ANTLR 4 runtime for Python 3, which is not in buster (https://bugs.debian.org/926134). With the freeze in effect, it’s looking pretty unlikely that coq-doc for Coq 8.9.0 is going to make it into buster/non-free before the buster release gets finalized. Please remove coq-doc and its binary packages (coq-doc, coq-doc-html, and coq-doc-pdf) from buster/non-free.
