0001-Fix-installation-of-dummy-stub-lib.patch
0002-Adapt-to-OCaml-3.11.2.patch
0003-Install-interfaces-in-text-format.patch
0004-More-cleaning.patch
0005-Do-not-compile-the-scribble-server.patch
0006-Set-OCAMLLIB-at-the-right-time-in-wiki-example.patch
