0001-Fix-spelling-error-in-binary.patch
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
0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
