A new updated alt-php80 package has been scheduled for gradual rollout from our production repository.