Merge pull request #3662 from mtzguido/nix

mtzguido · web-flow · commit db2cbe786566 · 2025-01-08T12:34:26.000-08:00
nix: exposing ocamlPackages as before
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 = {
