Fallout detail

Portdevel/cbmc
Package—
Version6.9.0_1
Flavor—
Maintainerolivier@FreeBSD.org
Last committer—
Categorybuild
Report dateJune 21, 2026, 1:27 p.m.

Build

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

Links

Loghttps://pkg-status.freebsd.org/beefy22/data/143amd64-default/0cd7b5a3f54a/logs/cbmc-6.9.0_1.log
Build queuehttps://pkg-status.freebsd.org/beefy22/build.html?mastername=143amd64-default&build=0cd7b5a3f54a
Report—

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