all repos — nixfiles @ 0f5b3a56d2e7a738f73681b9c198b5e47e333012

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