From Debian testing autoremoval watch@21:1/5 to All on Thu May 26 07:50:02 2022
coquelicot 3.2.0-2 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 Wed Jun 15 07:00:02 2022
coquelicot 3.2.0-2 is marked for autoremoval from testing on 2022-06-27
It is affected by these RC bugs:
1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac https://bugs.debian.org/1012061
It (build-)depends on packages with these RC bugs:
1012060: coq, src:coq-bignums: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac https://bugs.debian.org/1012060
1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac https://bugs.debian.org/1012061