[Bug 269571] lang/php81: fails to fetch

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=269571

            Bug ID: 269571
           Summary: lang/php81: fails to fetch
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Some People
          Priority: ---
         Component: Individual Port(s)
          Assignee: bofh@freebsd.org
          Reporter: p5B2EA84B3@t-online.de
             Flags: maintainer-feedback?(bofh@freebsd.org)
          Assignee: bofh@freebsd.org

=======================<phase: fetch          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  License PHP301 accepted by the user
=> php-8.1.16.tar.xz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://www.php.net/distributions/php-8.1.16.tar.xz
fetch: https://www.php.net/distributions/php-8.1.16.tar.xz: size mismatch:
expected 12198108, actual 11760948
=> Attempting to fetch
https://raw.githubusercontent.com/php/web-php-distributions/master/php-8.1.16.tar.xz
fetch:
https://raw.githubusercontent.com/php/web-php-distributions/master/php-8.1.16.tar.xz:
size mismatch: expected 12198108, actual 11760948
=> Attempting to fetch
http://distcache.FreeBSD.org/ports-distfiles/php-8.1.16.tar.xz
fetch: http://distcache.FreeBSD.org/ports-distfiles/php-8.1.16.tar.xz: Not
Found
=> Couldn't fetch it - please try to retrieve this
=> port manually into /portdistfiles/ and try again.
*** Error code 1

Stop.
make: stopped in /usr/ports/lang/php81
=>> Cleaning up wrkdir
===>  Cleaning for php81-8.1.16
build of lang/php81 | php81-8.1.16 ended at Wed Feb 15 20:40:48 CET 2023
build time: 00:00:03
!!! build failure encountered !!!

-- 
You are receiving this mail because:
You are the assignee for the bug.