all repos — nixfiles @ a5b0892e4f3d255d695f6a54219e1f5edf21c725

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