diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a23b14f..8562acd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,7 +18,7 @@ jobs: # Either the waiting queue for FreeBSD is very long, or it is not available. # - freebsd-latest ocaml-compiler: - - 4.12.x + - 4.13.x # - 5.1.x - 5.2.x runs-on: ${{ matrix.os }} diff --git a/cudajit.opam b/cudajit.opam index 1b7fb74..9158452 100644 --- a/cudajit.opam +++ b/cudajit.opam @@ -13,7 +13,7 @@ homepage: "https://github.com/lukstafi/ocaml-cudajit" doc: "https://github.com/lukstafi/ocaml-cudajit/blob/master/README.md" bug-reports: "https://github.com/lukstafi/ocaml-cudajit/issues" depends: [ - "ocaml" {>= "4.12"} + "ocaml" {>= "4.13"} "dune" {>= "3.11"} "ctypes" {>= "0.14.0"} "ctypes-foreign" diff --git a/dune-project b/dune-project index a9f90a4..5750b01 100644 --- a/dune-project +++ b/dune-project @@ -28,7 +28,7 @@ "Bindings to manually selected parts of `lcuda` and `lnvrtc`, with a few types and conversion functions to facilitate use.") (depends (ocaml - (>= 4.12)) + (>= 4.13)) dune (ctypes (>= 0.14.0))