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.
Should even work when they stick to version 3.0, but not vice versa.
mentioned in commit a87f0def
·mentioned in commit a87f0def
mentioned in merge request !969 (merged)
·