Update progression on nixos