From Debian testing autoremoval watch@21:1/5 to All on Thu May 26 07:50:02 2022
coq-doc 8.15.1-1 is marked for autoremoval from testing on 2022-06-30
It (build-)depends on packages with these RC bugs:
1011146: nvidia-graphics-drivers-tesla-470: CVE-2022-28181, CVE-2022-28183, CVE-2022-28184, CVE-2022-28185, CVE-2022-28191, CVE-2022-28192 https://bugs.debian.org/1011146
From Debian testing autoremoval watch@21:1/5 to All on Thu Dec 21 06:30:01 2023
coq-doc 8.17.1-1 is marked for autoremoval from testing on 2024-01-25
It (build-)depends on packages with these RC bugs:
1058096: python3-antlr4: FTBFS: AttributeError: 'TestIntervalSet' object has no attribute 'assertEquals'. Did you mean: 'assertEqual'? https://bugs.debian.org/1058096
From Debian testing autoremoval watch@21:1/5 to All on Wed Jan 10 06:00:01 2024
coq-doc 8.17.1-1 is marked for autoremoval from testing on 2024-01-30
It (build-)depends on packages with these RC bugs:
1058096: python3-antlr4: FTBFS: AttributeError: 'TestIntervalSet' object has no attribute 'assertEquals'. Did you mean: 'assertEqual'? https://bugs.debian.org/1058096