From 7905f26e45ff99a002ee5a672de2f8143a468378 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 20 Sep 2022 10:19:41 +0200
Subject: [PATCH] Update coq-validsdp.dev

---
 .../packages/coq-libvalidsdp/coq-libvalidsdp.dev/opam  |  9 +++++----
 extra-dev/packages/coq-validsdp/coq-validsdp.dev/opam  | 10 +++++-----
 2 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/extra-dev/packages/coq-libvalidsdp/coq-libvalidsdp.dev/opam b/extra-dev/packages/coq-libvalidsdp/coq-libvalidsdp.dev/opam
index 65cace34e..b409bbc1e 100644
--- a/extra-dev/packages/coq-libvalidsdp/coq-libvalidsdp.dev/opam
+++ b/extra-dev/packages/coq-libvalidsdp/coq-libvalidsdp.dev/opam
@@ -16,12 +16,13 @@ build: [
 install: [make "-C" "libvalidsdp" "install"]
 depends: [
   "ocaml"
-  "coq" {>= "8.7" & < "8.11~"}
+  "coq" {>= "8.14"}
   "coq-bignums"
-  "coq-flocq" {>= "3.1.0"}
+  "coq-flocq" {>= "3.3.0"}
   "coq-coquelicot" {>= "3.0"}
-  "coq-interval" {>= "3.4.0" & < "4~"}
-  "coq-mathcomp-field" {>= "1.8" & < "1.10~"}
+  "coq-interval" {>= "4.0.0"}
+  "coq-mathcomp-field" {>= "1.13"}
+  "coq-mathcomp-analysis" {>= "0.3.5"}
   "ocamlfind" {build}
   "conf-autoconf" {build}
 ]
diff --git a/extra-dev/packages/coq-validsdp/coq-validsdp.dev/opam b/extra-dev/packages/coq-validsdp/coq-validsdp.dev/opam
index 34deafdbd..afe9f5930 100644
--- a/extra-dev/packages/coq-validsdp/coq-validsdp.dev/opam
+++ b/extra-dev/packages/coq-validsdp/coq-validsdp.dev/opam
@@ -17,14 +17,14 @@ install: [make "install"]
 
 depends: [
   "ocaml"
-  "coq" {>= "8.7" & < "8.11~"}
+  "coq" {>= "8.14"}
   "coq-bignums"
-  "coq-flocq" {>= "3.1.0"}
-  "coq-interval" {>= "3.4.0" & < "4~"}
-  "coq-mathcomp-field" {>= "1.8" & < "1.10~"}
+  "coq-flocq" {>= "3.3.0"}
+  "coq-interval" {>= "4.0.0"}
+  "coq-mathcomp-field" {>= "1.13"}
   "coq-libvalidsdp" {= "dev"}
   "coq-mathcomp-multinomials" {>= "1.2"}
-  "coq-coqeal" {>= "1.0.0"}
+  "coq-coqeal" {>= "1.1.0"}
   "coq-paramcoq" {>= "1.1.0"}
   "osdp" {>= "1.0"}
   "ocamlfind" {build}