Fallout detail

Portmath/lean4
Package—
Version4.31.0
Flavor—
Maintaineryuri@FreeBSD.org
Last committer—
Categorybuild
Report dateJuly 5, 2026, 3:02 p.m.

Build

Build environment150amd64-default
Serverbeefy23.chi.freebsd.org
Jail OSVERSION—
Host OSVERSION—
Poudriere—

Links

Loghttps://pkg-status.freebsd.org/beefy23/data/150amd64-default/4503d4fcebc4/logs/lean4-4.31.0.log
Build queuehttps://pkg-status.freebsd.org/beefy23/build.html?mastername=150amd64-default&build=4503d4fcebc4
Report—

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