all repos — nixfiles @ 10dfb18b8b2f85cd30f8f5ec75b87d6e418eef4d

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