BulkTracker pkgsrc bulk build status

: ↩ math/ Other builds of this package pkgsrc.se
Package location: math/z3
Package name: z3-4.13.0
Package maintainer
Build Status: ok
Platform: NetBSD 10.0/i386
Compiler: gcc
Branch: HEAD
Built on: 2024-09-30 01:15:00 +0000 UTC
Built by: Charlie Root

Version v2025.2.1