opam tag Tonelli.1.0

opam

@@ -3,11 +3,11 @@ synopsis: "Numerical Analysis in Coq"
 name: "coq-num-analysis"
 version: "1.0"
 maintainer: "MILC project <milc@inria.fr>"
-authors: "[ "Sylvie Boldo" "François Clément" "Vincent Martin" "Micaela Mayero" "Florian Faissole" "Houda" "Louise" "Stéphane"]"
+authors: "[ "Sylvie Boldo" "François Clément" "Vincent Martin" "Micaela Mayero" "Florian Faissole" "Houda Mouhcine" "Louise Leclerc" "Stéphane Aubry" ]"
 homepage: "https://lipn.univ-paris13.fr/coq-num-analysis/-/tree/Tonelli.1.0"
 bug-reports: "https://lipn.univ-paris13.fr/coq-num-analysis/-/tree/Tonelli.1.0/issues"
 license: "LGPL-3.0-or-later"
-tags: [ "keyword:real analysis" "keyword:Lax Milgram" "keyword:Lebesgue" ]
+tags: [ "keyword:real analysis" "keyword:Lax Milgram" "keyword:Lebesgue" "keyword:Tonelli" ]
 build: [
   make
 ]
@@ -19,8 +19,8 @@ remove: [
 ]
 depends: [
   "ocaml" { >= "4.08" }
-  "coq" {>= "8.14.0" & < "8.16"}
-  "coq-mathcomp-ssreflect" {>= "1.12" & < "1.15"}
-  "coq-coquelicot" {}
-  "coq-flocq" {}
-]
\ No newline at end of file
+  "coq" {>= "8.14.0"}
+  "coq-mathcomp-ssreflect" {>= "1.12"}
+  "coq-coquelicot" {>= "3.2.0"}
+  "coq-flocq" {>= "4.0.0"}
+]