[package - main-powerpc64-default][math/lean] Failed for lean-3.51.1 in build

You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: y...@freebsd.org Log URL: https://pkg-status.freebsd.org/foul1/data/main-powerpc64-default/p3f853a

[package - main-powerpc64-default][math/lean] Failed for lean-3.51.1 in build

You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: y...@freebsd.org Log URL: https://pkg-status.freebsd.org/foul1/data/main-powerpc64-default/pa8c72e

[package - main-powerpc64-default][math/lean] Failed for lean-3.51.1 in build

You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: y...@freebsd.org Log URL: https://pkg-status.freebsd.org/foul1/data/main-powerpc64-default/pd6fe15

[package - main-powerpc64-default][math/lean] Failed for lean-3.51.1 in build

You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: y...@freebsd.org Log URL: https://pkg-status.freebsd.org/foul1/data/main-powerpc64-default/p3b548e