bump minimal ocaml to 4.04

.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 }}

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}

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"

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: [