all repos — nixfiles @ 71b1b563cf7613b7db35e1c2477f5a900d64c6d3

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