Fallout detail:


Port: devel/cbmc
Version: 6.3.1
Maintainer: [email protected]
Last committer:
Build environment: main-i386-default
Category: build
Flavor:
Report date: Dec. 1, 2024, 1:05 p.m.
Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p64cd84d78c3d_s7aa7f4b5c32/logs/cbmc-6.3.1.log
Build URL: https://pkg-status.freebsd.org/beefy17/build.html?mastername=main-i386-default&build=p64cd84d78c3d_s7aa7f4b5c32
Report URL: https://lists.freebsd.org/archives/freebsd-pkg-fallout/2024-December/690713.html
More info: See the port detail page for the fallout history for this port.