all repos — nixfiles @ 725ce0a79072b281045fe8c7c61fa244dd11a79b

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