generation 529 25.11.20250714.62e0f05

2025-10-13 21:09:43 -04:00
parent 72cbc7b54a
commit da70ddd712
2 changed files with 5 additions and 5 deletions
--- a/flake.nix
+++ b/flake.nix
@@ -16,7 +16,7 @@
    };

    nixpkgs-clisp.url = "github:NixOS/nixpkgs/da320e5472f021b96a883f71fc525ca0e4815273";
-    nixpkgs-signal.url = "github:NixOS/nixpkgs/e6f23dc08d3624daab7094b701aa3954923c6bbb";
+    nixpkgs-signal.url = "github:NixOS/nixpkgs/4684fd6b0c01e4b7d99027a34c93c2e09ecafee2";

    verus-flake.url = "github:JakeGinesin/verus-flake";
  };