• coq 8.15.1+dfsg-1 MIGRATED to testing

    From Debian testing watch@21:1/5 to All on Fri Apr 22 07:20:01 2022
    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)