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 8.0/i386
Compiler
gcc
Branch
2023Q3
Built on
2023-12-15 12:44:00 +0000 UTC
Built by
Manuel Bouyer
This package has 1 failed dependencies
Location
Package Name
Status
Breaks
lang/ocaml
ocaml-4.14.1
failed
203