BulkTracker pkgsrc bulk build status

: ↩ devel/ Other builds of this package pkgsrc.se
Package location: devel/why3
Package name: why3-1.5.1nb1
Package maintainer
Build Status: indirect-failed
Platform: NetBSD 10.0/i386
Compiler: gcc
Branch: 2024Q2
Built on: 2024-07-09 03:07:00 +0000 UTC
Built by: S.P.Zeidler

This package has 1 failed dependencies

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

This package breaks 1 others

Version v2025.2.1