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: pho@cielonegro.org
Build Status: ok
Platform: NetBSD 10.0/x86_64
Compiler: gcc
Branch: 2024Q4
Built on: 2025-03-14 20:39:00 +0000 UTC
Built by: Charlie Root

Version v2025.3