update of pkgs for aarch64?

[Ronald Klop]

Hello,

The pkgs for aarch64 keep staying on August, 9th according to the file
dates on http://pkg.freebsd.org/FreeBSD:12:aarch64/.

But on https://pkg-status.freebsd.org/builds?type=package and
http://thunderx1.nyi.freebsd.org/ I see more recent and quite successful
builds for head-arm64.

How long does it take to update pkg.freebsd.org or is syncing the mirrors
lagging? Or ...?

Just curious.

Regards,
Ronald.