all repos — nixfiles @ 3723ebb5bc1b9b1b40c630824e111e8b2bc713ce

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