[meta] Add license info for sertop.el

Fixes #411
rocq-archive · Sep 8, 2024 · e052cad · e052cad
1 parent cddc890
commit e052cad
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -7,6 +7,7 @@
  - [serlib] Move `serlib` sources to `coq-lsp` (@ejgallego, #409)
  - [general] Drop support for OCaml 4.09-4.11 (@ejgallego, #409)
  - [serlib] Embed `serlib` from `coq-lsp` as to help 8.20 release (@ejgallego)
+ - [meta] Add license info for sertop.el (@ejgallego, @SnarkBoojum, fixes #411)
 
 ## Version 0.19.3
 

diff --git a/LICENSE b/LICENSE
@@ -10,6 +10,10 @@ Files: sertop/js_sexp_printer.ml*
 License: MIT
 Copyright: Copyright (c) 2005--2023 Jane Street Group, LLC <opensource-contacts@janestreet.com>
 
+Files: sertop/sertop.el
+License: GPL-v3
+Copyright: Copyright (C) 2016  Clément Pit-Claudel
+
 Files: serlib/* serapi/* sertop/ser* sertop/comp*
 License: LGPL-2.1+
 Copyright: 2016-2023, MINES ParisTech / Inria / others