+----------------------+ | 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.
Attachment:
pgpOkmr4roRoI.pgp
Description: PGP signature