Fallout detail:


Port: math/coq
Version: 8.6_6,3
Maintainer: [email protected]
Last committer: http://pylon.nyi.freebsd.org/data/130powerpc64-quarterly/61257645fee1/logs/coq-emacs28_nox-8.6_6,[email protected]://pylon.nyi.freebsd.org/data/130powerpc64-quarterly/61257645fee1/logs/coq-emacs28_nox-8.6_6,3.log
Build environment: 130powerpc64-quarterly
Category: package
Flavor: devel_nox
Report date: May 7, 2021, 9:02 p.m.
Log URL: http://pylon.nyi.freebsd.org/build.html?mastername=130powerpc64-quarterly&build=61257645fee1
Build URL: hrs at FreeBSD.org
Report URL: https://lists.freebsd.org/pipermail/freebsd-pkg-fallout/20210507/1747516.html
More info: See the port detail page for the fallout history for this port.