diff options
| author | Kenny Ballou <kb@devnulllabs.io> | 2021-06-28 11:30:35 -0600 |
|---|---|---|
| committer | Kenny Ballou <kb@devnulllabs.io> | 2021-07-07 13:29:59 -0600 |
| commit | 00df08af82a6b3f4df91331e5eb9ac09f610d79b (patch) | |
| tree | 4463c68ae498a174284dba3951195da3b0e50452 /packages.nix | |
| parent | 669fb4b60fdc635d8cb9efc2c73ab356dbbf365c (diff) | |
| download | dotfiles-00df08af82a6b3f4df91331e5eb9ac09f610d79b.tar.gz dotfiles-00df08af82a6b3f4df91331e5eb9ac09f610d79b.tar.xz | |
packages: add z3 solver
Signed-off-by: Kenny Ballou <kb@devnulllabs.io>
Diffstat (limited to 'packages.nix')
| -rw-r--r-- | packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages.nix b/packages.nix index 30f521f4..2bf54cb6 100644 --- a/packages.nix +++ b/packages.nix @@ -164,6 +164,7 @@ with pkgs; [ xz youtube-dl yubikey-personalization + z3 zeal zip zoom-us |