BulkTracker pkgsrc bulk build status

 

↩ lang/ Other builds of this package pkgsrc.se

Package location

lang/idris

Package name

idris-1.3.4nb10

Build Status

indirect-failed

Platform

Darwin 23.5.0/aarch64

Compiler

clang

Branch

trunk-arm64

Built on

2024-07-26 11:09:00 +0000 UTC

Built by

MNX Cloud

This package has 1 failed dependencies