Re: coq-equations_1.3-8.15-1_amd64.changes REJECTED

[julien.puydt@gmail.com]

Hi,

Le samedi 09 juillet 2022 à 09:05 +0200, Thorsten Alteholz a écrit :
> 
> On 09.07.22 07:47, julien.puydt@gmail.com wrote:
> 
> > Why doc/* ? I checked again and didn't see anything special. 
>  
>  Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% Copyright 1993-1999
> Patrick W Daly 
>  Coq-Equations-1.3-8.15/doc/qsymbols.sty:% Copyright <A9> 1994
>  Kristoffer H. Rose  <kris@diku.dk>
>  
> Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% of the LaTeX Project
> Public License Distributed from CTAN 
>
>   
> > https://github.com/mattam82/Coq-Equations/issues/496
> > 
> > I'm waiting for upstream feedback before a new upload. 
> 
>  Great, thanks a lot.
>  

I finally updated d/copyright with what you pointed out and uploaded ;
I'll update again when upstream moves.

Cheers,

J.Puydt