From Debian testing autoremoval watch@21:1/5 to All on Sun Mar 21 06:00:05 2021
coq 8.12.0-3 is marked for autoremoval from testing on 2021-04-25
It (build-)depends on packages with these RC bugs:
985108: libgraphics-ocaml: missing Breaks+Replaces: libfindlib-ocaml (<< 1.8.1-2~) https://bugs.debian.org/985108
From Debian testing autoremoval watch@21:1/5 to All on Thu May 26 07:50:02 2022
coq 8.15.1+dfsg-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