missed mtime in default.nix header

FStarLang · Oct 16, 2024 · d0cfc1d · d0cfc1d
1 parent 33a823b
commit d0cfc1d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -1,5 +1,5 @@
 { batteries, buildDunePackage, includeBinaryAnnotations ? false
-, installShellFiles, lib, makeWrapper, menhir, menhirLib, memtrace, ocaml
+, installShellFiles, lib, makeWrapper, menhir, menhirLib, memtrace, mtime, ocaml
 , pprint, ppxlib, ppx_deriving, ppx_deriving_yojson, process, removeReferencesTo
 , sedlex, stdint, version, yojson, zarith }: