BulkTracker pkgsrc bulk build status

 
Package location
lang/coq
Package name
coq-8.15.2nb11
Build Status
indirect-failed
Platform
NetBSD 10.0/i386
Compiler
gcc
Branch
HEAD
Built on
2024-02-15 21:45:00 +0000 UTC
Built by
spz