PHP published their new packages.
Unfortunately, they're not in any package manager yet...