From Debian testing autoremoval watch@21:1/5 to All on Sun Jun 9 07:10:02 2024
coq-equations 1.3-8.18-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