This command is documented in DuneProject.
See finalize_dune_project() in the module page DuneProject.
finalize_dune_project()
dune_target_enable_all_packages
replace_properties