all repos — nixfiles @ ef8e3d3bd6e6292cf5f73787c97fb1e6a157bd0d

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