generate-documentation
0002-Adapt-to-yojson-3.0.0.patch
0003-Fix-compilation-with-menhir-20260209.patch
auto-gitignore
