--- vendor/splittable_random-0.17.0/dune-project.orig	2024-11-19 19:38:44 UTC
+++ vendor/splittable_random-0.17.0/dune-project
@@ -1 +1 @@
-(lang dune 3.11)
+(lang dune 3.7)