[package - 143amd64-default][math/coq] Failed for coq-emacs_nox-8.20.1_2,3 in starting

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <pkg-fallout_at_FreeBSD.org>
Date: Sun, 05 Oct 2025 19:01:42 UTC

You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     
Log URL:        https://pkg-status.freebsd.org/beefy22/data/143amd64-default/3a0d2ddc446c/logs/coq-emacs_nox-8.20.1_2,3.log
Build URL:      https://pkg-status.freebsd.org/beefy22/build.html?mastername=143amd64-default&build=3a0d2ddc446c
Log:

Build crashed: starting