summaryrefslogtreecommitdiff
path: root/modules/dev-tools.nix
diff options
context:
space:
mode:
Diffstat (limited to 'modules/dev-tools.nix')
-rw-r--r--modules/dev-tools.nix1
1 files changed, 0 insertions, 1 deletions
diff --git a/modules/dev-tools.nix b/modules/dev-tools.nix
index 3c0643b..373f954 100644
--- a/modules/dev-tools.nix
+++ b/modules/dev-tools.nix
@@ -7,7 +7,6 @@
}:
{
home.packages = with pkgs; [
- alacritty
coursier
curl
cvc4