Fallout detail

Portmath/coq
Package—
Version8.20.1_3,3
Flavor—
Maintainerports@FreeBSD.org
Last committer—
Categorybuild
Report dateJuly 6, 2026, 5:35 p.m.

Build

Build environment144arm64-quarterly
Serverampere4.chi.freebsd.org
Jail OSVERSION—
Host OSVERSION—
Poudriere—

Links

Loghttps://pkg-status.freebsd.org/ampere4/data/144arm64-quarterly/1a5d0688faeb/logs/coq-8.20.1_3,3.log
Build queuehttps://pkg-status.freebsd.org/ampere4/build.html?mastername=144arm64-quarterly&build=1a5d0688faeb
Reporthttps://lists.freebsd.org/archives/freebsd-pkg-fallout/2026-July/963445.html

See the port detail page for the fallout history of this port.