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/x86_64
Compiler
clang
Branch
trunk-x86_64
Built on
2024-09-17 15:39: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