• coq-hott_8.15-2_amd64.changes REJECTED

    From Debian FTP Masters@21:1/5 to All on Fri Jul 8 01:00:01 2022
    coq-hott_8.15-2.dsc: Refers to non-existing file 'coq-hott_8.15.orig.tar.gz' Perhaps you need to include the file in your upload?

    If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend.



    ===

    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)