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

Darwin 23.5.0/x86_64

Compiler

clang

Branch

trunk-x86_64

Built on

2024-11-15 12:56:00 +0000 UTC

Built by

MNX Cloud

This package has 1 failed dependencies