diff --git a/flake.nix b/flake.nix index 13c4857bc..0ac1ff34b 100644 --- a/flake.nix +++ b/flake.nix @@ -48,6 +48,13 @@ llvmPackages.libclang # system dependency for openshell-prover z3 + # mise dependencies + mise + cmakeMinimal + zlib + openssl_3_5 + xz + gh ]; env = {