Use 4.08.1 as the lower bound

Halbaroth · Sep 11, 2023 · 0ff38c0 · 0ff38c0
1 parent 664ba7c
commit 0ff38c0
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ on:
 permissions: {}
 
 env:
-  OCAML_DEFAULT_VERSION: 4.08.0
+  OCAML_DEFAULT_VERSION: 4.08.1
   # Add OPAMYES=true to the environment, this is usefill to replace `-y` option
   # in any opam call
   OPAMYES: true
@@ -26,7 +26,7 @@ jobs:
           - macos-latest
           - ubuntu-latest
         ocaml-compiler:
-          - 4.08.0
+          - 4.08.1
           - 4.14.1
 
     runs-on: ${{ matrix.os }}

diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -14,7 +14,7 @@ homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 depends: [
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.08.1"}
   "dune" {>= "3.0"}
   "dune-build-info"
   "dolmen" {>= "0.9"}

diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam
@@ -14,7 +14,7 @@ homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 depends: [
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.08.1"}
   "dune" {>= "3.0"}
   "alt-ergo-lib" {= version}
   "psmt2-frontend" {>= "0.4"}

diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -12,7 +12,7 @@ homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 depends: [
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.08.1"}
   "dune" {>= "3.0"}
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}

diff --git a/dune-project b/dune-project
@@ -25,7 +25,7 @@ Alt-Ergo is an automatic theorem prover of mathematical formulas. It was develop
 
 See more details on https://alt-ergo.ocamlpro.com/")
  (depends
-  (ocaml (>= 4.08.0))
+  (ocaml (>= 4.08.1))
   dune
   (alt-ergo-lib (= :version))
   (alt-ergo-parsers (= :version))
@@ -51,7 +51,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
  (license "LicenseRef-OcamlPro-Non-Commercial")
 
  (depends
-  (ocaml (>= 4.08.0))
+  (ocaml (>= 4.08.1))
   dune
   (alt-ergo-lib (= :version))
   (psmt2-frontend (>= 0.4))
@@ -74,7 +74,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
  (license "LicenseRef-OcamlPro-Non-Commercial")
 
  (depends
-  (ocaml (>= 4.08.0))
+  (ocaml (>= 4.08.1))
   dune
   dune-build-info
   (dolmen (>= 0.9))