diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/flake.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nix/flake.nix b/nix/flake.nix index 91ec511..fa570f3 100644 --- a/nix/flake.nix +++ b/nix/flake.nix @@ -41,9 +41,10 @@ ninja clang-tools + clang z3 - gtest + catch2_3 pkg-config lit |