all repos — nixfiles @ 71b7735857e86516d5cb827bcb31d4a4436d67c7

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