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: NetBSD 10.0/aarch64
Compiler: gcc
Branch: evbarm64-10.0-2024Q1
Built on: 2024-04-13 21:47:00 +0000 UTC
Built by: Michael van Elst