/dev-ml/lablgtk/files/

• ../
• lablgtk-2.12.0-libgnomeui.patch
• lablgtk-2.14.1-ocaml312.patch