Version 0.5.1 This is a maintenance release to make sure that dune-dpg still builds against versions 2.7 to 2.9 of the Dune core modules.
Version 0.5.1 This is a maintenance release to make sure that dune-dpg still builds against versions 2.7 to 2.9 of the Dune core modules.