Merge pull request #3662 from mtzguido/nix

nix: exposing ocamlPackages as before
FStarLang · Jan 8, 2025 · db2cbe7 · db2cbe7
2 parents e422f42 + ae94732
commit db2cbe7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -27,7 +27,7 @@
         '';
       in rec {
         packages = {
-          inherit z3 fstar emacs;
+          inherit z3 fstar emacs ocamlPackages;
           default = fstar;
         };
         apps.emacs = {