0001-Fix-compilation-with-OCaml-5.x.patch
0001-Run-oasis-setup.patch
0003-Fix-build-with-OCaml-5.x.patch
