all repos — nixfiles @ 7c072db7042204c98a7122d8bce6705056824e13

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