diff --git a/algo.opam b/algo.opam
index 99a01bba5480b5d77f7e5d9981eb73be969470c4..c26b0455ef9904c15f04c3248425514704187f35 100644
--- a/algo.opam
+++ b/algo.opam
@@ -11,8 +11,7 @@ dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sa
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
 build: ["dune" "build" ]
 depends: [
-  "ocaml"
+  "ocaml" { >= "4.02" }
   "ocamlfind"
   "dune" { build }
 ]
-available: [ ocaml-version >= "4.02" ]
diff --git a/sasa.opam b/sasa.opam
index f3337ccecb4faa6adce88910d35283eda4cd22a7..f387df3eec09e603865fc31d221aff445beecbe3 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -11,7 +11,7 @@ Basically, one needs to provide:
 2. the algorithms attached to nodes (via Ocaml programs)
 """
 authors: [ "Erwan Jahier" ]
-license: "CeCILL"
+license: "CECILL-2.1"
 homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
 dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
diff --git a/sasacore.opam b/sasacore.opam
index 7ed46e06e0a6cf610756ffa69355cfc7be289414..7b34ab03204ed3ec7c82fd7752a458c352318665 100644
--- a/sasacore.opam
+++ b/sasacore.opam
@@ -9,13 +9,12 @@ homepage:
 bug-reports:
   "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
 depends: [
-  "ocaml"
+  "ocaml" { >= "4.02" }
   "ocamlfind"
   "dune" {build}
   "ocamlgraph"
   "lutils" {>= "1.51"}
 ]
-available: ocaml-version >= "4.02"
 build: ["dune" "build"]
 dev-repo:
   "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"