update sources: NixOS 25.11

1 files changed, 6 insertions, 6 deletions

diff --git a/home/packages.nix b/home/packages.nix
index 2bdee84..c4e918b 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -10,7 +10,7 @@ in
 
     # internet apps & clients
     firefox keepassxc mumble lynx offpunk
-    openconnect tdesktop monolith magic-wormhole-rs
+    openconnect telegram-desktop monolith magic-wormhole-rs
     dino
     # graphics & audio
     audacity blender darktable ffmpeg-full
@@ -18,7 +18,7 @@ in
     gst_all_1.gstreamer vimiv-qt
     # LaTeX & documents
     xournalpp pandoc zathura pdfpc
-    poppler_utils typst rustex
+    poppler-utils typst rustex
     (texlive.combine {
       inherit (texlive) scheme-full;
       pkgFilter = pkg: lib.elem pkg.tlType [ "run" "bin" "doc" ];
@@ -26,9 +26,9 @@ in
     # general cli utils
     almanac libnotify grim slurp (zbar.override { enableVideo = false; withXorg = false; })
     wl-clipboard showrt
-    kijetesantakaluotokieni mpc_cli dufs progress hledger
+    kijetesantakaluotokieni mpc dufs progress hledger
     wineWowPackages.full sops xdg-utils exiftool
-    mercurial darcs git-annex-remote-remarkable2 git-who
+    mercurial darcs git-annex-remote-remarkable2 # git-who
     rlwrap
     inputs.ocaml-forester.legacyPackages.${system}.forester
     # graphical utils
@@ -47,7 +47,7 @@ in
     # other functional things
     racket dhall dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
     ocamlPackages.merlin ocaml gauche
-    (agda.withPackages (p: [ p.standard-library p.cubical ]))
+    (agda.withPackages (p: [ p.standard-library p.cubical p.agda-categories ]))
 
     # html, js & co
     jq ijq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
@@ -63,7 +63,7 @@ in
     # nix things
     npins nix-output-monitor direnv
     # isabelle
-    (isabelle.mkEnv "isabelle-env" "fish") isabat
+    # (isabelle.mkEnv "isabelle-env" "fish") isabat
 
     (import inputs.traveltext { inherit pkgs; })
   ];