diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3484cf81b..70f236177 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ on:
 permissions: {}
 
 env:
-  OCAML_DEFAULT_VERSION: 4.10.1
+  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,9 @@ jobs:
           - macos-latest
           - ubuntu-latest
         ocaml-compiler:
-          - 4.10.1
+          - 4.08.1
+          - 4.14.1
+          - 5.0.0
 
     runs-on: ${{ matrix.os }}
 
diff --git a/CHANGES.md b/CHANGES.md
index b4629b521..4a2dd37a6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,9 @@
 ## unreleased
-### deprecated
-* printing underscore instead of fresh value in model
+### Deprecated
+* printing underscore instead of fresh value in model (PR #805)
+
+### Build
+* use OCaml 4.08.1 as the minimal supported version (PR #803)
 
 ## v2.5.0
 
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
index e9ee9c2a8..e7959f9ba 100644
--- 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
index 3349ef9f8..708a41a0d 100644
--- 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
index cab36cf82..c8fd35ac0 100644
--- 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
index 4df02c309..db62ff3dc 100644
--- 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))