all repos — nixfiles @ 087c2ce7a4d5d9c71862f6869c9202f592c6c351

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