BulkTracker
pkgsrc bulk build status
↩
lang/
Other builds of this package
pkgsrc.se
Package location
lang/coq
Package name
coq-8.15.2nb13
Build Status
indirect-failed
Platform
Darwin 23.4.0/aarch64
Compiler
clang
Branch
trunk-arm64
Built on
2024-05-08 15:00:00 +0000 UTC
Built by
MNX Cloud
This package has 3 failed dependencies
Location
Package Name
Status
Breaks
devel/ocaml-dune
ocaml-dune-3.11.1
failed
141
x11/ocaml-lablgtk3
ocaml-lablgtk3-3.1.3nb10
indirect-failed
2
math/ocaml-zarith
ocaml-zarith-1.12nb1
failed
3
This package breaks 2 others
Location
Package Name
Status
Breaks