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

This package breaks 1 others