From f80010dbaf6ad9dec26179a4e10672a8d2b7ca08 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 16 Jan 2024 09:17:48 +0100
Subject: [PATCH] Coquelicot 3.4.1

---
 .../coq-coquelicot/coq-coquelicot.3.2.0/opam  |  2 +-
 .../coq-coquelicot/coq-coquelicot.3.3.0/opam  |  2 +-
 .../coq-coquelicot/coq-coquelicot.3.3.1/opam  |  2 +-
 .../coq-coquelicot/coq-coquelicot.3.4.0/opam  |  2 +-
 .../coq-coquelicot/coq-coquelicot.3.4.1/opam  | 37 +++++++++++++++++++
 5 files changed, 41 insertions(+), 4 deletions(-)
 create mode 100644 released/packages/coq-coquelicot/coq-coquelicot.3.4.1/opam

diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.2.0/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.2.0/opam
index ce221ebc1..6d4f88343 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.2.0/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.2.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.8"}
+  "coq" {>= "8.8" & < "8.19~"}
   "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.3.0/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.3.0/opam
index 4ae357f5a..141065ddb 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.3.0/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.3.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.19~"}
   "coq-mathcomp-ssreflect" {>= "1.6" & < "1.17~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
index a4437f85b..208856a95 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.19~"}
   "coq-mathcomp-ssreflect" {>= "1.6"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
index 99c7865ba..ed8ee3fd3 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.19~"}
   "coq-mathcomp-ssreflect" {>= "1.6"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.4.1/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.4.1/opam
new file mode 100644
index 000000000..36c31deb4
--- /dev/null
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.4.1/opam
@@ -0,0 +1,37 @@
+opam-version: "2.0"
+maintainer: "guillaume.melquiond@inria.fr"
+homepage: "http://coquelicot.saclay.inria.fr/"
+dev-repo: "git+https://gitlab.inria.fr/coquelicot/coquelicot.git"
+bug-reports: "https://gitlab.inria.fr/coquelicot/coquelicot/issues"
+license: "LGPL-3.0-or-later"
+build: [
+  ["autoconf"] {dev}
+  ["./configure"]
+  ["./remake" "-j%{jobs}%"]
+]
+install: ["./remake" "install"]
+depends: [
+  "coq" {>= "8.12"}
+  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "conf-autoconf" {build & dev}
+  ("conf-g++" {build} | "conf-clang" {build})
+]
+tags: [
+  "keyword:real analysis"
+  "keyword:topology"
+  "keyword:filters"
+  "keyword:metric spaces"
+  "category:Mathematics/Real Calculus and Topology"
+  "logpath:Coquelicot"
+  "date:2024-01-16"
+]
+authors: [
+  "Sylvie Boldo <sylvie.boldo@inria.fr>"
+  "Catherine Lelay <catherine.lelay@inria.fr>"
+  "Guillaume Melquiond <guillaume.melquiond@inria.fr>"
+]
+synopsis: "A Coq formalization of real analysis compatible with the standard library"
+url {
+  src: "https://coquelicot.gitlabpages.inria.fr/releases/coquelicot-3.4.1.tar.gz"
+  checksum: "sha512=54e2670e701c04774f701bde48866ae36733dd6c1e3f488518f525bfe52d9b063dfbbb434eebeb3dcb112bc98fd2232c8599225ee725ab237bf639370cac2e01"
+}