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: Sept. 15, 2024, 12:31 a.m.
Log URL: https://pkg-status.freebsd.org/ampere2/data/main-armv7-default/p13f486017d78_s3df987c99/logs/coq-8.19_4,3.log
Build URL: https://pkg-status.freebsd.org/ampere2/build.html?mastername=main-armv7-default&build=p13f486017d78_s3df987c99
Report URL: https://lists.freebsd.org/archives/freebsd-pkg-fallout/2024-September/651526.html
More info: See the port detail page for the fallout history for this port.