Patch the opam file

Author: pi8027

coq-mathcomp-multinomials.opam

@@ -19,7 +19,8 @@ coefficients range over commutative rings and integral domains."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.20"}
+  ("coq" {>= "8.20" & < "8.21~"}
+  | "rocq-core" {>= "9.0"})
   "coq-mathcomp-ssreflect" {>= "2.4"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-bigenough"