• coq-reduction-effects_0.1.3-1_amd64.changes REJECTED

    From Thorsten Alteholz@21:1/5 to All on Mon Jul 18 18:20:01 2022
    Hi Julien,

    please also mention at least
    reduction-effects-0.1.3/redeffect.mlg
    in your debian/coypright.

    Thanks!
    Thorsten



    ===

    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)