FYI: The status of the coq source package
in Debian's testing distribution has changed.
Previous version: 8.15.0+dfsg-2
Current version: 8.15.1+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)