• coq-bignums_8.15.0-2_source.changes REJECTED

    From Debian FTP Masters@21:1/5 to All on Sun May 29 23:30:01 2022
    Version check failed:
    Your upload included the source package coq-bignums, version 8.15.0-2,
    however unstable already has version 8.15.0-2.
    Uploads to unstable must have a higher version than present in unstable.



    ===

    Please feel free to respond to this email if you don't understand why
    your files were rejected, or if you upload new files which address our concerns.

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