It seems that version 13.0.1 is available upstream, while the latest version in the Gentoo tree is 13.0.0.