all repos — nixfiles @ 825cd9853b2d683c777c970d915256a8b438479c

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