all repos — nixfiles @ f80b7751d79ba8c641022e55f2992dbde9407c71

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