patch lablgtk3.1.5

opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.5/files/0001-fix-pointers.patch

@@ -0,0 +1,32 @@
+From 1639f5f14edaf4850fa4f306af38699d982e0621 Mon Sep 17 00:00:00 2001
+From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <[email protected]>
+Date: Wed, 2 Apr 2025 13:53:27 +0200
+Subject: [PATCH 1/2] Use correct types for custom operations
+
+Fix #188 (hopefully)
+---
+ src/ml_gdkpixbuf.c | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/src/ml_gdkpixbuf.c b/src/ml_gdkpixbuf.c
+index 51ff2850..64855aa5 100644
+--- a/src/ml_gdkpixbuf.c
++++ b/src/ml_gdkpixbuf.c
+@@ -59,7 +59,7 @@ CAMLprim value ml_gdk_pixbuf_set_marshal_use_rle (value v)
+   return Val_unit;
+ }
+
+-static void ml_GdkPixbuf_serialize (value v, unsigned long *wsize_32, unsigned long *wsize_64)
++static void ml_GdkPixbuf_serialize (value v, uintnat *wsize_32, uintnat *wsize_64)
+ {
+   GdkPixbuf *pb = GdkPixbuf_val(v);
+   GdkPixdata pixdata;
+@@ -75,7 +75,7 @@ static void ml_GdkPixbuf_serialize (value v, unsigned long *wsize_32, unsigned l
+   *wsize_64 = 8;
+ }
+
+-static unsigned long ml_GdkPixbuf_deserialize (void *dst)
++static uintnat ml_GdkPixbuf_deserialize (void *dst)
+ {
+   GError *error = NULL;
+   GdkPixdata pixdata;

opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.5/opam

@@ -0,0 +1,47 @@
+opam-version: "2.0"
+
+synopsis: "OCaml interface to GTK+3"
+description: """
+OCaml interface to GTK+3
+
+See https://garrigue.github.io/lablgtk/ for more information.
+"""
+
+maintainer: "[email protected]"
+authors: ["Jacques Garrigue et al., Nagoya University"]
+homepage: "https://github.com/garrigue/lablgtk"
+bug-reports: "https://github.com/garrigue/lablgtk/issues"
+dev-repo: "git+https://github.com/garrigue/lablgtk.git"
+license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+doc: "https://garrigue.github.io/lablgtk/lablgtk3/lablgtk3"
+
+depends: [
+  "ocaml"     {         >= "4.09.0" }
+  "camlp-streams" {     >= "5.0" & build }
+  "dune"      {         >= "1.8.0"  }
+  "cairo2"    {         >= "0.6"    }
+  "conf-gtk3" {         >= "18"     }
+  "ocamlfind" { dev                 }
+  "camlp5"    { dev                 }
+]
+
+build: [
+  [ "dune" "subst"] {dev}
+  [ "dune" "build" "-p" name "-j" jobs ]
+]
+run-test: [
+  [ "dune" "build" "-p" name "-j" jobs "examples/buttons.exe" ]
+]
+url {
+  src:
+    "https://github.com/garrigue/lablgtk/releases/download/3.1.5/lablgtk3-3.1.5.tbz"
+  checksum: [
+    "sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac"
+    "sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3"
+  ]
+}
+x-commit-hash: "afbd6d2ee90b98cb0ea49cba34659e15b00cbfe3"
+extra-files: [
+  "0001-fix-pointers.patch"
+  "sha512=56f01d86fede7e43434b14ac85d86c2b90b80594f82f91c41dd4561f042e83d818c42c80f375284aa871180dcef181fcabad0f8c7abff0ed2180790acf5b251f"
+]