Edit

IABSD.fr/ports/x11/lablgtk3

Branch :

  • 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.