all repos — nixfiles @ 72e7e31cefd86fba84924c9b579020a4b733426c

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