MidnightBSD Magusmath/yices
20 ports:
| Origin | Flavor | Version | Package Name | Status | Run | OSVersion | Arch | |
|---|---|---|---|---|---|---|---|---|
| math/yices | 2.6.5 | yices | fail | 604 | 3.2 | amd64 | (Show Details) | |
| math/yices | 2.6.5 | yices | fail | 620 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.6.5 | yices | fail | 621 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.6.5 | yices | untested | 622 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.6.5 | yices | fail | 623 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | untested | 624 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 625 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 626 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | untested | 627 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 628 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 629 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 630 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 631 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 632 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 633 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | fail | 634 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | untested | 636 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | pass | 637 | 4.0 | i386 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | untested | 638 | 4.0 | amd64 | (Show Details) | |
| math/yices | 2.7.0_2 | yices | warn | 639 | 4.0 | amd64 | (Show Details) · (Reset Port) | |