[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-interval_4.5.1-1_amd64.changes REJECTED



Hi Julien,

according to the file headers, the copyright holders are:
  Copyright (C) 2010-2012, ENS de Lyon.
  Copyright (C) 2010-2016, Inria.
  Copyright (C) 2014-2016, IRIT.
and not the AUTHORS ...

   Thorsten




===

Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our
concerns.


Reply to: