Merge pull request #1382 from hannesm/solo5-bound

adjust solo5 bound: use 0.8.0 as upper bound
mirage · Dec 19, 2022 · 6864fbb · 6864fbb
2 parents e16ddae + fc1311b
commit 6864fbb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/mirage/target/solo5.ml b/lib/mirage/target/solo5.ml
@@ -16,7 +16,7 @@ let build_packages =
   [
     Functoria.package ~min:"0.8.1" ~max:"0.9.0" ~scope:`Switch ~build:true
       "ocaml-solo5";
-    Functoria.package ~min:"0.7.5" ~max:"0.8.8" ~scope:`Switch ~build:true
+    Functoria.package ~min:"0.7.5" ~max:"0.8.0" ~scope:`Switch ~build:true
       "solo5";
   ]
 

diff --git a/test/mirage/query/run-hvt.t b/test/mirage/query/run-hvt.t
@@ -31,7 +31,7 @@ Query opam file
     "ocaml" { build & >= "4.08.0" }
     "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
     "opam-monorepo" { build & >= "0.3.2" }
-    "solo5" { build & >= "0.7.5" & < "0.8.8" }
+    "solo5" { build & >= "0.7.5" & < "0.8.0" }
   ]
 
   x-mirage-opam-lock-location: "mirage/noop-hvt.opam.locked"
@@ -63,7 +63,7 @@ Query packages
   "ocaml" { build & >= "4.08.0" }
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
-  "solo5" { build & >= "0.7.5" & < "0.8.8" }
+  "solo5" { build & >= "0.7.5" & < "0.8.0" }
 
 Query files
   $ ./config.exe query --target hvt files