diff options
author | stuebinm | 2024-07-15 16:13:04 +0200 |
---|---|---|
committer | stuebinm | 2024-07-15 16:13:04 +0200 |
commit | 9816147d5cbdee823d29a55c004374c23169c513 (patch) | |
tree | 6f476f73ea8cce891a717f7c272ad096107ce908 /home/packages.nix | |
parent | 5aa9948c99b9fb20e2cd4af48e3ea4cb75027b9c (diff) |
update sources, remove niv from home
Diffstat (limited to 'home/packages.nix')
-rw-r--r-- | home/packages.nix | 2 |
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 |