kmx git
Register
IABSD.fr/ports
IABSD.fr
Login
Edit
IABSD.fr
/
ports
/
x11
/lablgtk3
Branch :
- branch -
master
- tag -
Show log
Commit
Author :
daniel
Date :
2026-02-21 16:08:29
Hash :
81b1a65e
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.
Files
Makefile
distinfo
pkg