• coq 8.15.0+dfsg-2 MIGRATED to testing

    From Debian testing watch@21:1/5 to All on Wed Feb 9 06:10:01 2022
    FYI: The status of the coq source package
    in Debian's testing distribution has changed.

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

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