MidnightBSD Maguscad/abc
System for sequential synthesis and verification
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| g20241117 | 624 | 4.0 | amd64 | mit | 0 | untested |
License Permissions:
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...