all repos — nixfiles @ a1a4cec5045e55f6703086def1a711dd802f45d5

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