--- dune-project.orig	2024-03-22 15:32:03 UTC
+++ dune-project
@@ -1,2 +1,3 @@
-(lang dune 1.0)
+(lang dune 2.5)
 (name result)
+(version 1.5)