Re: git: 42ceff533efe - main - lang/php81: Update version 8.1.15=>8.1.16

From: Guido Falsi <mad_at_madpilot.net>
Date: Wed, 15 Feb 2023 19:39:07 UTC 
On 15/02/23 20:33, Dima Panov wrote:
> Moin-moin!
> 
> Upstream reroll?
> 
> fetch: https://www.php.net/distributions/php-8.1.16.tar.xz: size 
> mismatch: expected 12198108, actual 11760948
> 

The checksum also differs from the one published on upstream website at 
present.

-- 
Guido Falsi <mad@madpilot.net>