Hi, Le jeudi 07 juillet 2022 à 19:00 +0000, Thorsten Alteholz a écrit : > > please mention the LGPL and INRIA in your debian/copyright.
Done: coq-math-classes (8.15.0-2) unstable; urgency=medium * Complete d/copyright. -- Julien Puydt <[email protected]> Fri, 08 Jul 2022 08:06:04 +0200 Thanks for the review, J.Puydt
