Fallout detail

Portmath/lean4
Package—
Version4.31.0
Flavor—
Maintaineryuri@FreeBSD.org
Last committer—
Categorybuild
Report dateJune 29, 2026, 8:44 a.m.

Build

Build environment143amd64-default
Serverbeefy22.chi.freebsd.org
Jail OSVERSION—
Host OSVERSION—
Poudriere—

Links

Loghttps://pkg-status.freebsd.org/beefy22/data/143amd64-default/932084179555/logs/lean4-4.31.0.log
Build queuehttps://pkg-status.freebsd.org/beefy22/build.html?mastername=143amd64-default&build=932084179555
Reporthttps://lists.freebsd.org/archives/freebsd-pkg-fallout/2026-June/960957.html

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