0002-Use-bin-cp-instead-of-usr-bin-install.patch
0003-Disable-CHMOD_RO-invocations.patch
0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
0005-Value.cmo-needs-LoopAnalysis.cmo.patch
0007-Fix-FTBFS-with-OCaml-4.05.0.patch
0006-Fix-installation-on-bytecode-architectures.patch
