MidnightBSD Maguscad/abc
System for sequential synthesis and verification
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| g20241117 | 636 | 4.0 | i386 | mit | 0 | untested |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Links
Depends On
NothingDepend Of
NothingCategories
CVEs
- Loading CVE information...