+----------------------+
| REJECT reasoning |
+----------------------+

It looks like ocaml-lib/pset.mli etc. are LGPL-2.1+-with-linking-exception not LGPL-2.

+----------------------+
| Other comments |
+----------------------+

You don't need this much details. You can coalesce copyright statements for files with the same license. E.g. the stanza for examples/cpp/cmm.lem, hol-lib/lemLib.sml and hol-lib/lemScript.sml can be a single stanza, and so
on. You probably only need two or three stanzas.

+----------------------+
| 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.


--==============e22761053860138181=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZtmrWQAKCRCb9qggYcy5 ISVrAP9pJkQJcgSaSb6EN010kYGe5u7LC0NcbYcdaHjBK6hHqwD6A5NSEYIsrLJ/ i2g3va/Z0ilJ8fWrAJ84RPEgMaIfhgc=KCgo
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hello,

On Thu 05 Sep 2024 at 11:23pm +08, Bo YU wrote:

But you suggest me to apply LGPL-2.1+-with-linking-exception for ocaml-lib/pmap* and ocaml-lib/pset.*, I am not sure when I look at
these files again. For example, the copyright from
ocaml-lib/pmap.ml[2]

I'm suggesting it from looking at the file headers themselves. Don't
they say it has the exception too?

Thanks for reminding this again. Here I have one question that needs
to be verified. Taking these files as an example[4], could we convert
into [5]?

Yes, that's fine. I know what you mean about amplifying rights claims,
but copyright is not the same as an AUTHORS file saying who made the
most substantive contributions.

--
Sean Whitton

--=-=-Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAmbazrsZHHNwd2hpdHRv bkBzcHdoaXR0b24ubmFtZQAKCRBpW3rkvwZiQBH0D/9VxNTkPWOaGYBm0aADhFVX Q+gYDzXol+zUOslkI2ikl71A85AsI63CP4yLSThy8U8xriFt9X8BfvohqNJup3o5 RH4UkjJzKUj+gYrMHIzZ406I+Dvvv5akEK3+Jg9eJWdz582sVrBqHU0njjLR/Xp9 OPTdYetCEyzc8wdpUvlRqRdGAmHO3/wJAJumlmlcdnSc0hPvxqr/zijs0izCVhbe 6lkGq71HYUiLe5Htni8WS63OzV9RhR7dwHfyv98iJhw+wVx4WIDySe527EzF1Njk N5+3Ml1wavgU+gSiH0pGcdCf6wOgXO+7I6fJ6hLVV/gwbno/rBfGhHm9CTXStthK Hxh0xFY02C/Q1QJ23nyErvFsGG+2PqErFdGt3TJOUacEEiiWgH9QTZoETWofRH5F aQLz4LaMvuvBiO4BxK7nJrBcaTVuTyRt8OiPoct/cyb20HjXjH6lGL9SEatV0Doy Syx49SsDdZHS21E7/NOMfN/LK5S6kX9gMd8T/kTUGRn5dXO23RpaM1O8HKcKl/Up jE9PRAfyR782Y6r5jTWVa0CVmqzrThblSZLGZIH63SFbjYnVedFB+GNbMG0DEnoH x+3KvUpPUs9UG62H71Cu+bwOk/IycwtT2LtYRD3OXp9lx1W6U378jFgK9BlTQy4K RCsyFuudCwEMLrHP4VwM7g==XWVv
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Us