Skip to content

Add support for for dune wrapped libraries#33

Merged
fantazio merged 3 commits intoLexiFi:masterfrom
fantazio:fix_wrapped
Dec 12, 2025
Merged

Add support for for dune wrapped libraries#33
fantazio merged 3 commits intoLexiFi:masterfrom
fantazio:fix_wrapped

Commits

Commits on Dec 2, 2025