FYI: The status of the coq source package
in Debian's testing distribution has changed.
Previous version: 8.12.0-3
Current version: (not in testing)
Hint: <
https://release.debian.org/britney/hints/sramacher>
# #1000632
The script that generates this mail tries to extract removal
reasons from comments in the britney hint files. Those comments
were not originally meant to be machine readable, so if the
reason for removing your package seems to be nonsense, it is
probably the reporting script that got confused. Please check the
actual hints file before you complain about meaningless removals.
--
This email is automatically generated once a day. As the installation of
new packages into testing happens multiple times a day you will receive
later changes on the next day.
See
https://release.debian.org/testing-watch/ for more information.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)