Prepare for upstream version change from Dune 3.0 to 2.5
Should even work when they stick to version 3.0, but not vice versa.
@hommel I propose to get this in 2.10.
Should even work when they stick to version 3.0, but not vice versa.
@hommel I propose to get this in 2.10.