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

Re: lem_2022-12-10+dfsg-1_amd64.changes REJECTED



Hi!

On Wed, Aug 7, 2024 at 3:00 PM Sean Whitton
<ftpmaster@ftp-master.debian.org> wrote:
>
>
> +----------------------+
> |   REJECT reasoning   |
> +----------------------+
>
> Upstream's LICENSE says src/ulib is LGPL-2.1+ not just LGPL-2.1.
> And there is a special exception there, so it's a custom LGPL-2.1+ that
> should have its own shortname, and needs the (extra) text copying into
> d/copyright.  (You might be able to crib from ocaml's d/copyright.)
>
> coq-lib/coqharness.v specifies some different copyright holders to LICENSE.
> I guess you'll need to include all of them in d/copyright.
>
> doc/built-doc/ contains several PDFs.  Are they all rebuildable using what's
> in this package, or do they require something external?  If you're not sure,
> then just include them in the DFSG filtering-out.
>
> examples/0README says that the files under that directory have different
> licensing and copyright.  Indeed,
> examples\ppcmem-model\machineDefStorageSubsystem.lem looks to be non-free.
>
> I stopped checking here as it looks like you haven't gone through every file
> in the package and reconciled them with d/copyright.
>
> For files of the same license you can lump all the copyright holders
> together, according to the machine-readable specification, to save time.
> Take another look at the specification if you're not sure.

This might be the most complex d/copyright I dealt with now I will
learn lots of skills which how to deal with d/copyright definitely.
I'm very grateful for your time and help to review this. Okay, no
problem, I will re-check the d/copyright again and upload it to NEW
queue once done.

Thank you again.

BR,
Bo


Reply to: