MidnightBSD Maguscad/abc
System for sequential synthesis and verification
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| g20241117 | 639 | 4.0 | amd64 | mit | 0 | warn | Reset Port |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Type | Time | Message |
|---|---|---|---|
| m4064 | info | 2026-05-23 07:30:18.321827 | Test Started |
| m4064 | warn | 2026-05-23 07:31:34.566832 | fake-qa reported: /usr/local/bin/abc is linked to /usr/local/lib/libreadline.so.8 that does not belong to any package |
| m4064 | warn | 2026-05-23 07:31:34.780993 | Test complete. |
Links
Depends On
- devel/cmake-core (build)
- devel/gmake (build)
- devel/ninja (build)
- devel/readline (build)
- devel/readline (lib)
- devel/readline (run)
Depend Of
Categories
CVEs
- Loading CVE information...