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/alpha

Compiler

gcc

Branch

2023Q4

Built on

2024-01-08 15:17:00 +0000 UTC

Built by

John Klos

This package has 2 failed dependencies