summaryrefslogtreecommitdiff
path: root/home/packages.nix
diff options
context:
space:
mode:
authorstuebinm2024-07-15 16:13:04 +0200
committerstuebinm2024-07-15 16:13:04 +0200
commit9816147d5cbdee823d29a55c004374c23169c513 (patch)
tree6f476f73ea8cce891a717f7c272ad096107ce908 /home/packages.nix
parent5aa9948c99b9fb20e2cd4af48e3ea4cb75027b9c (diff)
update sources, remove niv from home
Diffstat (limited to '')
-rw-r--r--home/packages.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 0250184..78ea25d 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -61,7 +61,7 @@ in
# others
python39 inweb
# nix things
- niv npins nix-output-monitor direnv
+ npins nix-output-monitor direnv
# isabelle
(isabelle.mkEnv "isabelle-env" "fish") isabat