FYI: The status of the coq-bignums source package in Debian's testing distribution has changed. Previous version: 8.15.0-1 Current version: (not in testing) Hint: <https://release.debian.org/britney/hints/auto-removals> # 1012060,1012061 in coq # 1012060 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.