diff --git a/coq-color.opam b/coq-color.opam index 8ad238dd..23148c9b 100644 --- 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"