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: failed
Build Logs: work pre-clean checksum depends configure build install
Platform: SmartOS 20240222T001232Z/x86_64
Compiler: gcc
Branch: upstream-trunk
Built on: 2024-07-25 23:27:00 +0000 UTC
Built by: MNX Cloud