Fallout detail:


Port: math/coq
Version: 8.6_6,3
Maintainer: [email protected]
Last committer:
Build environment: 114amd64-quarterly
Category: package
Flavor: devel_nox
Report date: July 3, 2021, 4:33 a.m.
Log URL: http://beefy3.nyi.freebsd.org/data/114amd64-quarterly/bf299f1b74f5/logs/coq-emacs28_nox-8.6_6,3.log
Build URL: http://beefy3.nyi.freebsd.org/build.html?mastername=114amd64-quarterly&build=bf299f1b74f5
Report URL: https://lists.freebsd.org/archives/freebsd-pkg-fallout/2021-July/051814.html
More info: See the port detail page for the fallout history for this port.