BulkTracker pkgsrc bulk build status

: ↩ lang/ Other builds of this package pkgsrc.se
Package location: lang/idris
Package name: idris-1.3.4nb10
Package maintainer
Build Status: ok
Platform: NetBSD 9.0/x86_64
Compiler: gcc
Branch: HEAD
Built on: 2024-09-28 20:24:00 +0000 UTC
Built by: Makoto Fujiwara

Version v2025.2.1