CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/21 09:08:29
Modified files:
x11/lablgtk3 : Makefile distinfo
Log message:
update lablgtk3 to 3.1.5
This update is needed so we can build coqide in math/rocq again. As a bonus
this update also includes better support for OCaml 5.
