FYI: The status of the coq source package
in Debian's testing distribution has changed.

Previous version: 8.14.1+dfsg-1
Current version: 8.15.0+dfsg-1

--
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)