Merge pull request #2925 from proux01/flocq413_no819

Flocq 4.1 does not compile on Coq 8.19

Author: proux01

released/packages/coq-flocq/coq-flocq.4.1.2/opam

@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]

released/packages/coq-flocq/coq-flocq.4.1.3/opam

@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]