all repos — nixfiles @ 42ce143791ef5d00e1c98c3a7aa13808d88efd88

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