Hi, Le samedi 09 juillet 2022 à 09:05 +0200, Thorsten Alteholz a écrit : > > On 09.07.22 07:47, [email protected] 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 <[email protected]> > > 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
