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

[Thorsten Alteholz <debian@alteholz.de>]

    Hi Julien,

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.
    
      Thorsten