From 47c80c492d5d689afa24f4c982cc6ceeb58cb2e4 Mon Sep 17 00:00:00 2001 From: 17maiga Date: Tue, 22 Apr 2025 16:11:38 +0000 Subject: [PATCH] chore: license --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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")