Allow Coq 8.15 in the OPAM file

Author: pi8027

coq-mathcomp-multinomials.opam

@@ -10,7 +10,7 @@ build: [
   [ "dune" "build" "-p" name "-j" jobs ]
 ]
 depends: [
-  "coq"                    {(>= "8.10" & < "8.15~") | = "dev"}
+  "coq"                    {(>= "8.10" & < "8.16~") | = "dev"}
   "dune"                   {>= "2.5"}
   "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.14~") | = "dev"}
   "coq-mathcomp-algebra"