all repos — nixfiles @ de2b3f63d42df53215727a8032b81887c1ea01bc

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