diff --git a/large-sw.nix b/large-sw.nix
index c6c6a4c..75e39dc 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -18,6 +18,8 @@
     vscode
     clang
 
+    stack
+
     coq_8_6
 
     # cargo rustc