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 22.6.0/x86_64
Compiler: clang
Branch: trunk-x86_64
Built on: 2024-04-21 01:40: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.2nb13	indirect-failed	2
math/ocaml-num	ocaml-num-1.4nb1	failed	6

This package breaks 1 others

Location	Package Name	Status	Breaks