Fallout detail

Portmath/lean4
Package—
Version4.31.0
Latest version4.35.0 (the tree has moved past the version that failed)
Flavor—
Maintaineryuri@FreeBSD.org
Last committer—
Categorybuild
Report dateJuly 10, 2026, 1:27 a.m.

Build

Build environmentmain-amd64-default
Serverbeefy24.chi.freebsd.org
Jail OSVERSION—
Host OSVERSION—
Poudriere—

Links

Loghttps://pkg-status.freebsd.org/beefy24/data/main-amd64-default/p7eab0869b7d1_s750d429a228/logs/lean4-4.31.0.log
Build queuehttps://pkg-status.freebsd.org/beefy24/build.html?mastername=main-amd64-default&build=p7eab0869b7d1_s750d429a228
Reporthttps://lists.freebsd.org/archives/freebsd-pkg-fallout/2026-July/965250.html

See the port detail page for the fallout history of this port.