[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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.


Reply to: