diff options
Diffstat (limited to '')
-rw-r--r-- | flake.nix | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -171,6 +171,7 @@ }; devShells.default = pkgs.mkShell { packages = [ + pkgs.elan pkgs.ocamlPackages.ocaml pkgs.ocamlPackages.ocamlformat pkgs.ocamlPackages.menhir |