1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED

    From Thorsten Alteholz@21:1/5 to All on Sat May 11 20:10:02 2024
    Hi,

    please also mention the GPL-3+ of coq-serapi-8.19.0-0.19.3/sertop/sertop.el in your debian/coypright.

    Thanks!
    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.


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZj+yKQAKCRCb9qggYcy5 IQHGAQDYM/KcTnCPZSIA4kCkZteUUhNwbNaDsXDHL0i36zb2eQD+LH4e24Uc9s/F lCbCJJV2RyLdRv4a1JbSZHMSg18HJgcz5/
    -----END PGP SIGNATURE-----

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