Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

License issue #411

Closed
SnarkBoojum opened this issue May 16, 2024 · 1 comment · Fixed by ocaml/opam-repository#26512
Closed

License issue #411

SnarkBoojum opened this issue May 16, 2024 · 1 comment · Fixed by ocaml/opam-repository#26512
Milestone
0.20.0

Comments

@SnarkBoojum
Copy link

The file sertop/sertop.el is licensed under GPL-3+ and isn't mentioned in LICENSE.

(and I didn't see it either, so my Debian package got rejected)
@ejgallego
Copy link
Collaborator

Oh no!

I guess there is some automated tool that would check this.

I'll fix ASAP, feel free to remove that file, it is just an example.

@ejgallego ejgallego added this to the 0.20.0 milestone Jun 5, 2024
ejgallego added a commit that referenced this issue Sep 8, 2024
@ejgallego
[meta] Add license info for sertop.el
e052cad 
Fixes #411
ejgallego added a commit to ejgallego/opam-repository that referenced this issue Sep 8, 2024
@ejgallego
[new release] coq-serapi (8.20.0+0.20.0)
ec2fbd3 
CHANGES:

 - [serapi] (!) support for Coq 8.20, thanks to all the developers
            that contributed compatibility patches.
 - [serlib] Support `micromega_core` plugin (@ejgallego)
 - [serlib] Compat with ppx_deriving 6 (@ejgallego)
 - [serlib] Move `serlib` sources to `coq-lsp` (@ejgallego, rocq-archive/coq-serapi#409)
 - [general] Drop support for OCaml 4.09-4.11 (@ejgallego, rocq-archive/coq-serapi#409)
 - [serlib] Embed `serlib` from `coq-lsp` as to help 8.20 release (@ejgallego)
 - [meta] Add license info for sertop.el (@ejgallego, @SnarkBoojum, fixes rocq-archive/coq-serapi#411)
@ejgallego ejgallego mentioned this issue Sep 8, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
0.20.0
Development

Successfully merging a pull request may close this issue.

[new release] coq-serapi (8.20.0+0.20.0) ejgallego/opam-repository
2 participants
@SnarkBoojum @ejgallego