all repos — nixfiles @ 12c675c521d7b3d077071a4d5eb07ba7e1d76e53

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