MidnightBSD Magusmath/yices
SMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Build | Fetch | Test | Scan | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2.7.0_2 | 646 | 4.1 | amd64 | gpl3+ | 0 | pass | pass | untested | untested | Reset Port |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Phase | Type | Time | Message |
|---|---|---|---|---|
| m4164b | fetch | info | 2026-08-08 06:20:33.309444 | Fetch Started |
| m4164b | fetch | pass | 2026-08-08 06:20:40.052981 | Fetch complete. |
| m4164b | build | info | 2026-08-10 23:49:58.968789 | Build Started |
| m4164b | build | pass | 2026-08-10 23:51:08.313654 | Build complete. |
Links
Depends On
- devel/autoconf (build)
- devel/automake (build)
- devel/gmake (build)
- devel/gperf (build)
- math/gmp (lib)
Depend Of
Categories
CVEs
- Loading CVE information...