summaryrefslogtreecommitdiff
path: root/flake.nix
diff options
context:
space:
mode:
Diffstat (limited to 'flake.nix')
-rw-r--r--flake.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/flake.nix b/flake.nix
index f77bd23b..7faee70a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -171,6 +171,7 @@
};
devShells.default = pkgs.mkShell {
packages = [
+ pkgs.elan
pkgs.ocamlPackages.ocaml
pkgs.ocamlPackages.ocamlformat
pkgs.ocamlPackages.menhir