all repos — nixfiles @ 80ebdb01e24988de91500d062b825853352a31e5

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