all repos — nixfiles @ 72e2c1dfc5d880f65eb6935133880f122dbca9fd

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