opam file lint: fix license name

fblanqui · Apr 16, 2024 · b063daf · b063daf
1 parent d257f1d
commit b063daf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-color.opam b/coq-color.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 synopsis: "A library on rewriting theory and termination"
 homepage: "http://color.inria.fr/"
-license: "CeCILL"
+license: "CeCILL-2.1"
 bug-reports: "https://github.com/fblanqui/color/issues"
 depends: [
   "ocaml"