all repos — nixfiles @ 71addd8478d03ba9e363b1b04e0b785872554291

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