diff --git a/flake.nix b/flake.nix
index e50b11aaa6..828f24af76 100644
--- a/flake.nix
+++ b/flake.nix
@@ -245,6 +245,7 @@
           kore-rpc = withZ3 pkgs kore "kore-rpc";
           kore-rpc-booster = withZ3 pkgs hs-backend-booster "kore-rpc-booster";
           kore-rpc-client = withZ3 pkgs hs-backend-booster "kore-rpc-client";
+          booster-dev = withZ3 pkgs hs-backend-booster-dev-tools "booster-dev";
           inherit (pkgs.haskell-backend.pkgSet) haskell-language-server;
         });