Merge pull request #28179 from silene/improve-rocq9

Improve packaging of Rocq 9.0.

Author: mseri

packages/coq/coq.9.0.0/opam

@@ -7,10 +7,7 @@ homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
-  "dune" {>= "3.8"}
-  "rocq-prover" {= version}
   "coq-core" {= version}
   "coq-stdlib" {= "9.0.0"}
   "coqide-server" {= version}
-  "odoc" {with-doc}
 ]

packages/rocq-prover/rocq-prover.9.0.0/opam

@@ -20,12 +20,7 @@ homepage: "https://rocq-prover.org"
 doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
-  "dune" {>= "3.8"}
-  "rocq-core" {= version}
+  "rocq-core"
   "rocq-stdlib"
-  "ounit2" {with-test}
-  "conf-python-3" {with-test}
-  "conf-time" {with-test}
-  "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/coq/coq.git"

packages/rocq-stdlib/rocq-stdlib.9.0.0/opam

@@ -22,7 +22,7 @@ doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "rocq-runtime"
-  "rocq-core" {>= "9.0" & < "9.1~"}
+  "rocq-core" {>= "9.0"}
 ]
 dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [