Fix: ctypes lower-bounds 0.20

ahrefs · Apr 24, 2024 · 5765025 · 5765025
1 parent 12be0a7
commit 5765025
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/arrayjit.opam b/arrayjit.opam
@@ -17,8 +17,8 @@ depends: [
   "dune" {>= "3.11"}
   "base"
   "core"
-  "ctypes"
-  "ctypes-foreign"
+  "ctypes" {>= "0.20"}
+  "ctypes-foreign" {>= "0.20"}
   "gccjit" {>= "0.3.2"}
   "printbox"
   "printbox-text"

diff --git a/dune-project b/dune-project
@@ -52,8 +52,8 @@
   dune
   base
   core
-  ctypes
-  ctypes-foreign
+  (ctypes (>= 0.20))
+  (ctypes-foreign (>= 0.20))
   (gccjit
    (>= 0.3.2))
   printbox