BulkTracker pkgsrc bulk build status

 

↩ lang/ Other builds of this package pkgsrc.se

Package location

lang/idris2

Package name

idris2-0.6.0

Build Status

indirect-failed

Platform

NetBSD 10.0/aarch64eb

Compiler

distcc gcc

Branch

2023Q4

Built on

2024-01-29 03:44:00 +0000 UTC

Built by

John Klos

This package has 1 failed dependencies