BulkTracker
pkgsrc bulk build status
↩
lang/
Other builds of this package
pkgsrc.se
Package location
lang/coq
Package name
coq-8.15.2nb14
Package maintainer
Build Status
indirect-failed
Platform
NetBSD 9.0/earmv7hf
Compiler
gcc
Branch
evbarm7-9.0-2024Q2
Built on
2024-08-19 19:07:00 +0000 UTC
Built by
Michael van Elst
This package has 1 failed dependencies
Location
Package Name
Package Maintainer
Status
Breaks
x11/ocaml-lablgtk3
ocaml-lablgtk3-3.1.3nb11
indirect-failed
2
This package breaks 2 others
Location
Package Name
Package Maintainer
Status
Breaks
Version v2025.2.1