make_clean
make_install
demos_makefile
install-byte
0005-Fix-compilation-with-OCaml-4.08.0.patch
0006-Fix-compilation-with-OCaml-5.2.0.patch
auto-gitignore
