From 9816147d5cbdee823d29a55c004374c23169c513 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Mon, 15 Jul 2024 16:13:04 +0200 Subject: update sources, remove niv from home --- home/packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'home/packages.nix') 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 -- cgit v1.2.3