all repos — nixfiles @ d0deb1037ba46553a02a6d7d84b6abb5d4b6bbd8

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