dune_check_module_versionΒΆ

This command is documented in DuneModuleDependencies.

See dune_check_module_version() in the module page DuneModuleDependencies.