Should the language dune version contain the patch number

[NathanReb]

I just used oskel and noticed it generated a dune-project with (lang dune 2.7.1) rather than (lang dune 2.7). Is this intentional?

Dune doesn't seem to care about it so it's not that big of an issue but I'm not sure it should include the patch number.

Let me know what you think, I'm happy to come up with a patch if that's not the intended behaviour!

[craigfe]

Not intentional whatsoever; it was just a quick solution to avoid having a fixed version string there.

I think ideally Oskel would know the minimal Dune lang version for each template and use that, but just dropping the patch number seems good too. Patches very welcome 🙂