Fallout detail:


Port: math/coq
Version: 8.19_4,3
Maintainer: [email protected]
Last committer:
Build environment: main-armv7-default
Category: configure
Flavor: full
Report date: Oct. 4, 2024, 12:16 p.m.
Log URL: https://pkg-status.freebsd.org/ampere2/data/main-armv7-default/p4a16d2e85dd9_sb7cbf741d/logs/coq-8.19_4,3.log
Build URL: https://pkg-status.freebsd.org/ampere2/build.html?mastername=main-armv7-default&build=p4a16d2e85dd9_sb7cbf741d
Report URL: https://lists.freebsd.org/archives/freebsd-pkg-fallout/2024-October/659124.html
More info: See the port detail page for the fallout history for this port.