Merge pull request #182 from FStarLang/afromher_misc

Add mtime to list of ocaml packages in Nix build
FStarLang · Oct 21, 2024 · 30a310e · 30a310e
2 parents afbf599 + 48d4b34
commit 30a310e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -28,6 +28,7 @@
             ocamlPackages.stdint
             ocamlPackages.batteries
             ocamlPackages.zarith
+            ocamlPackages.mtime
           ];
           installPhase = ''
             mkdir -p $out