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: ok
Platform: NetBSD 10.0/i386
Compiler: gcc
Branch: HEAD
Built on: 2024-02-15 21:45:00 +0000 UTC
Built by: spz