Comments regarding coqeal_1.1.0-1_amd64.changes

[Thorsten Alteholz]

Hi,

please also mention INRIA and University of Gothenburg in your debian/copyright
At least they were mentioned in some file headers ...

  Thorsten