From cb059e5f587ce2ca5056775c7ff6a70deecad800 Mon Sep 17 00:00:00 2001 From: Jake Ginesin Date: Wed, 17 Dec 2025 18:02:19 -0500 Subject: [PATCH] generation 549 25.11.20250714.62e0f05 --- home/programs/firefox/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix index cd99a87..f708454 100644 --- a/home/programs/firefox/default.nix +++ b/home/programs/firefox/default.nix @@ -210,6 +210,10 @@ in { name = "verus github"; url = "https://github.com/verus-lang/verus"; } + { + name = "secure foundations"; + url = "https://github.com/secure-foundations"; + } ]; } {