restrict OCaml's version for an issue about installing uunf

gfngfn · Jun 22, 2024 · c1fae25 · c1fae25
1 parent fe2c74f
commit c1fae25
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,8 +14,6 @@ jobs:
           - ubuntu-latest
           - macos-latest
         ocaml-compiler:
-          - "4.12"
-          - "4.13"
           - "4.14"
 
     runs-on: ${{ matrix.os }}

diff --git a/satysfi.opam b/satysfi.opam
@@ -20,7 +20,7 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.12.0" & < "5.0.0"}
+  "ocaml" {>= "4.14.0" & < "5.0.0"}
   "batteries" {>= "3.6.0" & < "4.0.0"}
   "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}