Update rocq-autosubst-ocaml.opam

Co-authored-by: Anna Danilkin <[email protected]>

Author: yforster

rocq-autosubst-ocaml.opam

@@ -15,8 +15,9 @@ authors: [ "Adrian Dapprich" ]
 license: "MIT"
 
 depends: [
-  "ocaml" { >= "4.09" & < "4.15" }
-  "rocq-prover" { >= "9.0" & < "9.1" }
+  "ocaml" { >= "4.09" }
+  "rocq-core" { >= "9.0" & < "9.1" }
+  "rocq-stdlib" { >= "9.0" & < "9.1" }
   "angstrom" { >= "0.15.0" }
   "dune" { >= "2.5" }
   "ocamlgraph" { >= "2.0.0" }