BulkTracker pkgsrc bulk build status

: ↩ devel/ Other builds of this package pkgsrc.se
Package location: devel/why3
Package name: why3-1.5.1nb1
Build Status: indirect-failed
Platform: Darwin 23.5.0/aarch64
Compiler: clang
Branch: trunk-arm64
Built on: 2024-07-26 11:09:00 +0000 UTC
Built by: MNX Cloud

This package has 3 failed dependencies

Location	Package Name	Status	Breaks
devel/menhir	menhir-20220210	indirect-failed	2
lang/coq	coq-8.15.2nb14	indirect-failed	2
math/ocaml-num	ocaml-num-1.4nb1	failed	6

This package breaks 1 others

Location	Package Name	Status	Breaks