[package - 132powerpc64-quarterly][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/132powerpc64-quarterly/aa35326

[package - 132powerpc64-quarterly][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/132powerpc64-quarterly/294d1b3

[package - 132powerpc64-quarterly][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/132powerpc64-quarterly/7af1bc0

[package - 132powerpc64-quarterly][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/132powerpc64-quarterly/2c7f524

[package - 132powerpc64-quarterly][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/132powerpc64-quarterly/99a6c47