[meta] Add license info for sertop.el

Fixes #411
rocq-archive · Sep 8, 2024 · 96a6c1b · 96a6c1b
1 parent 32c50bb
commit 96a6c1b
Showing 1 changed file with 4 additions and 0 deletions.
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 <[email protected]>
 
+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