From 9c606fbe81cac8589f8079ca6dd2578a72ec67a9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 10 Jun 2021 11:58:50 -0400 Subject: [PATCH] bump minimal ocaml to 4.04 --- .github/workflows/main.yml | 2 +- sidekick-arith.opam | 2 +- sidekick-bin.opam | 4 ++-- sidekick.opam | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2997daee..ef99795d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -10,7 +10,7 @@ jobs: - ubuntu-latest - windows-latest ocaml-compiler: - - 4.03.x + - 4.04.x - 4.10.x - 4.12.x runs-on: ${{ matrix.os }} diff --git a/sidekick-arith.opam b/sidekick-arith.opam index f0e15439..bbaa617a 100644 --- a/sidekick-arith.opam +++ b/sidekick-arith.opam @@ -14,7 +14,7 @@ depends: [ "dune" { >= "1.1" } "containers" { >= "3.0" & < "4.0" } "iter" { >= "1.0" & < "2.0" } - "ocaml" { >= "4.03" } + "ocaml" { >= "4.04" } "sidekick" { = version } "zarith" { >= "1.8" } # constraint for infix ops "alcotest" {with-test} diff --git a/sidekick-bin.opam b/sidekick-bin.opam index 906ef48a..dfdbc952 100644 --- a/sidekick-bin.opam +++ b/sidekick-bin.opam @@ -15,12 +15,12 @@ depends: [ "containers" { >= "3.0" & < "4.0" } "iter" { >= "1.0" & < "2.0" } "zarith" - "smtlib-utils" { >= "0.1" & < "0.3" } + "smtlib-utils" { >= "0.1" & < "0.4" } "sidekick" { = version } "sidekick-arith" { = version } "menhir" "mtime" - "ocaml" { >= "4.03" } + "ocaml" { >= "4.04" } ] tags: [ "sat" "smt" ] homepage: "https://github.com/c-cube/sidekick" diff --git a/sidekick.opam b/sidekick.opam index de6d9d57..b3358ebc 100644 --- a/sidekick.opam +++ b/sidekick.opam @@ -15,7 +15,7 @@ depends: [ "containers" { >= "3.0" & < "4.0" } "iter" { >= "1.0" & < "2.0" } "msat" { >= "0.9" < "0.10" } - "ocaml" { >= "4.03" } + "ocaml" { >= "4.04" } "alcotest" {with-test} ] depopts: [