Fallout detail:


Port: math/coq
Version: 8.19_4,3
Maintainer: [email protected]
Last committer:
Build environment: main-armv7-default
Category: configure
Flavor: canna
Report date: Sept. 3, 2024, 8:27 a.m.
Log URL: https://pkg-status.freebsd.org/ampere2/data/main-armv7-default/p15d22e1c70da_s871911a4a/logs/coq-emacs_canna-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/646584.html
More info: See the port detail page for the fallout history for this port.