From c1fae256650c19b128821687366a69d8dcb5f9e8 Mon Sep 17 00:00:00 2001
From: Takashi Suwa <bd.gfngfn@gmail.com>
Date: Sat, 22 Jun 2024 23:09:48 +0900
Subject: [PATCH] restrict OCaml's version for an issue about installing `uunf`

---
 .github/workflows/ci.yml | 2 --
 satysfi.opam             | 2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fbd7eada4..40b8baaaa 100644
--- 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
index 45a8b9d3f..31bfdad28 100644
--- 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"}