use ocaml >= 4.09.0

Deducteam · Jan 9, 2025 · 919a7b2 · 919a7b2
1 parent 5849032
commit 919a7b2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,7 +8,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: [5.3.0, 5.2.1, 5.1.1, 5.0.0, 4.14.2, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1]
+        ocaml-version: [5.3.0, 5.2.1, 5.1.1, 5.0.0, 4.14.2, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1]
     runs-on: ubuntu-latest
     steps:
       - name: checking out lambdapi repo ...

diff --git a/dune-project b/dune-project
@@ -27,7 +27,7 @@ provides commands to export Lambdapi files to other formats or
 systems: Dedukti, Coq, HRS, CPF.")
 
  (depends
-  (ocaml (>= 4.08.0))
+  (ocaml (>= 4.09.0))
   (menhir (>= 20200624))
   (sedlex (>= 3.2))
   (alcotest :with-test)

diff --git a/lambdapi.opam b/lambdapi.opam
@@ -20,7 +20,7 @@ bug-reports: "https://github.com/Deducteam/lambdapi/issues"
 dev-repo: "git+https://github.com/Deducteam/lambdapi.git"
 depends: [
   "dune" {>= "3.7"}
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.09.0"}
   "menhir" {>= "20200624"}
   "sedlex" {>= "3.2"}
   "alcotest" {with-test}