Update opam file

Author: mattam82

rocq-verified-extraction.opam

@@ -1,9 +1,9 @@
 opam-version: "2.0"
-version: "dev"
+version: "0.10"
 maintainer: "yannick.forster@inria.fr"
-homepage: "https://github.com/yforster/coq-malfunction/"
-dev-repo: "git+https://github.com/yforster/coq-malfunction/"
-bug-reports: "https://github.com/yforster/coq-malfunction/issues"
+homepage: "https://github.com/MetaRocq/rocq-verified-extraction"
+dev-repo: "git+https://github.com/MetaRocq/rocq-verified-extraction"
+bug-reports: "https://github.com/MetaRocq/rocq-verified-extraction/issues"
 authors: ["Yannick Forster"
           "Matthieu Sozeau"
           "Nicolas Tabareau"]
@@ -12,13 +12,14 @@ build: [
   [make]
 ]
 install: [
-  [make "-j%{jobs}%"]
+  [make "-j%{jobs}%" "install"]
 ]
 depends: [
-  "coq" { >= "8.19" & < "8.20~" }
+  "rocq-core" { >= "9.0" & < "10~" }
+  "rocq-stdlib" { >= "9.0" & < "10~" }
   "coq-ceres" {= "0.4.1"}
-  "rocq-metarocq-erasure-plugin" { = "1.3.2+8.19" }
-  "malfunction" {= "0.6" }
+  "rocq-metarocq-erasure-plugin" { >= "1.4+9.0" }
+  "malfunction" { >= "0.7" }
 ]
 
 synopsis: "Verified extraction from Rocq to OCaml"