--- dune.orig	2024-11-19 15:49:43 UTC
+++ dune
@@ -0,0 +1 @@
+(vendored_dirs vendor)
