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 <jpuydt@debian.org> Fri, 08 Jul 2022 08:06:04 +0200 Thanks for the review, J.Puydt