BulkTracker pkgsrc bulk build status

 
Package location
devel/why3
Package name
why3-1.5.1nb1
Build Status
indirect-failed
Platform
NetBSD 9.0/x86_64
Compiler
gcc
Branch
2024Q2
Built on
2024-07-04 19:50:00 +0000 UTC
Built by
S.P.Zeidler

This package has 1 failed dependencies

Location Package Name Status Breaks
lang/coq coq-8.15.2nb14 indirect-failed 2

This package breaks 1 others

Location Package Name Status Breaks