diff --git a/dune-project b/dune-project index 18fcc9d..2f9f0f8 100644 --- a/dune-project +++ b/dune-project @@ -2,7 +2,7 @@ (using menhir 3.0) (name hsim) -(license "GPL-3.0-or-later") +(license "CeCILL-2.1-or-later") (authors "Henri Saudubray") (maintainers "henri.saudubray@proton.me")