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
NetBSD 9.0/i386
Compiler
gcc
Branch
2024Q2
Built on
2024-07-04 22:05:00 +0000 UTC
Built by
S.P.Zeidler