entities: IMDEA : "IMDEA Software Institute" INRIA : "Inria" X : "Ecole Polytechnique" copyrights: - pattern: ["src/*.ml*", "src/*/*.ml*"] style: "ocaml" license: "CeCILL-C-V1" copyrights: - { who: "IMDEA", date: "2012--2016" } - { who: "INRIA", date: "2012--2018" } - { who: "X" , date: "2012--2018" } - pattern: ["theories/*.ec", "theories/*/*.ec*"] style: "ocaml" license: "CeCILL-B-V1" copyrights: - { who: "IMDEA", date: "2012--2016" } - { who: "INRIA", date: "2012--2018" } - { who: "X" , date: "2012--2018" }