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 9.0/earmv7hf
Compiler
gcc
Branch
evbarm7-9.0-2024Q2
Built on
2024-08-19 19:07:00 +0000 UTC
Built by
Michael van Elst
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
Location
Package Name
Package Maintainer
Status
Breaks
Version v2025.2.1