diff --git a/flake.nix b/flake.nix index 3970205f6a1..176542b548a 100644 --- 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 = {