BulkTracker pkgsrc bulk build status

: ↩ lang/ Other builds of this package pkgsrc.se
Package location: lang/coq
Package name: coq-8.15.2nb7
Build Status: indirect-failed
Platform: NetBSD 10.0/earmv7hf
Compiler: gcc
Branch: evbarm7-10.0-2023Q3
Built on: 2023-12-17 20:11:00 +0000 UTC
Built by: Michael van Elst