Fallout detail:


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