Re: coq-equations_1.3-8.15-1_amd64.changes REJECTED
Hi,
Le vendredi 08 juillet 2022 à 23:00 +0000, Thorsten Alteholz a écrit :
>
> please also mention at least doc/*
Why doc/* ? I checked again and didn't see anything special.
> and INRIA, CNRS et al. in your debian/copyright.
Ok, adding:
Files: theories/*/Relation*.v
Copyright: 1999-2018 INRIA
1999-2018 CNRS
1999-2018 Coq contributors
License: LGPL-2.1
to d/copyright.
> The file headers say LGPL2.1 whereas the coq-equations.opam says
> LGPL-2.1+.
> Please ask upstream about his intentions.
https://github.com/mattam82/Coq-Equations/issues/496
I'm waiting for upstream feedback before a new upload.
Thanks for the review,
J.Puydt
Reply to: