Fallout detail:


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