all repos — nixfiles @ a5f80edcf8752b708163e7a0c8c30c470355f4d1

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