all repos — nixfiles @ 025dd11070f864c53c54137a3a5d3247f2870439

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