lem_2022-12-10+dfsg-1_amd64.changes REJECTED
From
Sean Whitton@21:1/5 to
All on Wed Aug 7 09:10:01 2024
+----------------------+
| 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.
+----------------------+
| N.B. |
+----------------------+
This review may not be exhaustive. Please check your source package
against your d/copyright and the ftpmaster REJECT-FAQ, throughly,
before uploading to NEW again.
Thank you for your time and contribution!
Sean
===
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.
--==============a17950784102127685=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZrMbeQAKCRCb9qggYcy5 IfrMAQCxoWZ6bRk9E8x0ak0QMKrenIAB88GXqtsI5/MIeCe7qwD/cStM7ZJI697w X4BsYRnFrjmpnAYxmM0LPYfBUfwoEAk=wN+8
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)