synchronous/nix-config
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

generation 549 25.11.20250714.62e0f05

Browse Source
This commit is contained in:
Jake Ginesin
2025-12-17 18:02:19 -05:00
parent 4eae53c82a
commit cb059e5f58
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
home/programs/firefox/default.nix
View File

@@ -210,6 +210,10 @@ in {
name = "verus github"; name = "verus github";
url = "https://github.com/verus-lang/verus"; url = "https://github.com/verus-lang/verus";
} }
{
name = "secure foundations";
url = "https://github.com/secure-foundations";
}
]; ];
} }
{ {