Skip to content

Allow compiling the packages with dune.

Rodolphe Lepigre requested to merge rodolphe/dune into master

This is similar to stdpp!552 (merged).

Merge request reports