Re: coq-hott_8.15-1_amd64.changes REJECTED

[julien.puydt@gmail.com]

Hi,

Le jeudi 07 juillet 2022 à 18:00 +0000, Thorsten Alteholz a écrit :
> 
> please mention the LGPL in your debian/copyright.
> 

Done in a new upload:

coq-hott (8.15-2) unstable; urgency=medium

  * Drop an erroneous b-dep on ocamlgraph.
  * Complete d/copyright.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 08 Jul 2022 00:13:17 +0200


Thanks for the review,

J.Puydt