• coq-interval_4.5.1-1_amd64.changes is NEW

    From Debian FTP Masters@21:1/5 to All on Fri Jul 15 18:30:01 2022
    binary:libcoq-interval is NEW.
    binary:libcoq-interval is NEW.
    source:coq-interval is NEW.

    Your package has been put into the NEW queue, which requires manual action
    from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient.

    Packages are routinely processed through to the archive, and do feel
    free to browse the NEW queue[1].

    If there is an issue with the upload, you will receive an email from a
    member of the ftpteam.

    If you have any questions, you may reply to this email.

    [1]: https://ftp-master.debian.org/new.html
    or https://ftp-master.debian.org/backports-new.html for *-backports

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)