BulkTracker pkgsrc bulk build status

: ↩ math/ Other builds of this package pkgsrc.se
Package location: math/yices2
Package name: yices2-2.6.1
Build Status: ok
Platform: Darwin 23.5.0/aarch64
Compiler: clang
Branch: trunk-arm64
Built on: 2024-07-26 11:09:00 +0000 UTC
Built by: MNX Cloud