From Debian testing autoremoval watch@21:1/5 to All on Sun Jun 9 07:00:02 2024
coq-extructures 0.4.0-1 is marked for autoremoval from testing on 2024-07-14
It (build-)depends on packages with these RC bugs:
1072308: coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies https://bugs.debian.org/1072308