See this thread Dune lockfiles are not cross-platform. How should we approach checking them into version control?