--- a/src/refmt/dune 2024-10-19 14:08:14.370857664 +0200 +++ b/src/refmt/dune 2024-10-19 14:09:03.820258355 +0200 @@ -10,8 +10,8 @@ (with-stdout-to %{targets} (progn - (bash "echo let version = \\\"$(git rev-parse --verify HEAD)\\\"") - (bash "echo let short_version = \\\"$(git rev-parse --short HEAD)\\\""))))) + (bash "echo let version = \\\"0000000000000000000000000000000000000000\\\"") + (bash "echo let short_version = \\\"0000000000000000000000000000000000000000\\\""))))) (rule (with-stdout-to