Mentions légales du service

Skip to content
  • Sylvain Dailler's avatar
    ide: Force the use of a recent lablgtk · 99c99cf7
    Sylvain Dailler authored
    In earlier version, the parameter ~parent of GToolbox.question_box does
    not exist. More recent version depends from OCaml version 4.06.0 or higher.
    Hence the choice for lablgtk 2.18.7.
    99c99cf7