Merge pull request #286 from puripuri2100/support-satysfi-0.0.x

support SATySFi 0.0.x
nyuichi · Sep 26, 2023 · de4f15d · de4f15d
2 parents 58700e3 + 9688c09
commit de4f15d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/satysfi-base.opam b/satysfi-base.opam
@@ -18,7 +18,7 @@ homepage: "https://github.com/nyuichi/satysfi-base"
 bug-reports: "https://github.com/nyuichi/satysfi-base/issues"
 dev-repo: "git+https://github.com/nyuichi/satysfi-base.git"
 depends: [
-  "satysfi" {>= "0.0.5" & < "0.0.8"}
+  "satysfi" {>= "0.0.5" & < "0.1"}
   "satysfi-dist"
   "satyrographos" {>= "0.0.2.6" & < "0.0.3"}
   "satysfi-fonts-dejavu" {>= "2.37"}