all repos — nixfiles @ ef4c25fdc267f6ce6ed2d29f1eddf4ee7ab7c773

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