all repos — nixfiles @ 80ff771431d668bff8c73461c606c8f1517752dd

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