Otherwise we might find incompatible lower versions installed system and the compilation will error out.
Closes #72 (closed). Makes only sense with dune-common!433 (merged) as otherwise people with the incorrect version will receive a fatal error.
Be aware that the dune-project.org domain and its name server will have some updates between February 6, 8:00 UTC (9:00 CET) and 10:00 UTC (11:00 CET) as we will be performing services relocation during this time.
Otherwise we might find incompatible lower versions installed system and the compilation will error out.
Closes #72 (closed). Makes only sense with dune-common!433 (merged) as otherwise people with the incorrect version will receive a fatal error.