Fallout detail

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

Build

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

Links

Loghttps://pkg-status.freebsd.org/beefy23/data/150amd64-default/0cd7b5a3f54a/logs/cbmc-6.9.0_1.log
Build queuehttps://pkg-status.freebsd.org/beefy23/build.html?mastername=150amd64-default&build=0cd7b5a3f54a
Reporthttps://lists.freebsd.org/archives/freebsd-pkg-fallout/2026-June/957490.html

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