all repos — nixfiles @ 8dbb37333590bf1719728de3931c248e83c03fd5

System and user configuration, managed by nix and home-manager