require 4.13

imandra-ai · Mar 21, 2024 · e7394bd · e7394bd
1 parent 02b841e
commit e7394bd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,7 +18,7 @@ jobs:
               #- macos-latest
               #- windows-latest
         ocaml-compiler:
-            - '4.12'
+            - '4.13'
             - '5.1'
 
     runs-on: ${{ matrix.os }}

diff --git a/dune b/dune
@@ -1,3 +1,3 @@
 (env
  (_
-  (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70)))
+  (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-48-70)))
diff --git a/dune-project b/dune-project
@@ -15,7 +15,7 @@
  (name imandrakit)
  (synopsis "Core utils library for Imandra")
  (depends
-  (ocaml (>= 4.12))
+  (ocaml (>= 4.13))
   dune
   (moonpool (>= 0.6))
   (containers

diff --git a/imandrakit.opam b/imandrakit.opam
@@ -9,7 +9,7 @@ tags: ["moonpool" "multicore" "thread" "logs" "logging"]
 homepage: "https://github.com/imandra-ai/imandrakit"
 bug-reports: "https://github.com/imandra-ai/imandrakit/issues"
 depends: [
-  "ocaml" {>= "4.12"}
+  "ocaml" {>= "4.13"}
   "dune" {>= "3.0"}
   "moonpool" {>= "0.6"}
   "containers" {>= "3.4"}