math/cudd
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Build | Fetch | Test | Scan | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.0.0 | 648 | 4.1 | amd64 | bsd3 | 0 | warn | pass | pass | warn | Reset Port |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Phase | Type | Time | Message |
|---|---|---|---|---|
| m4164 | fetch | info | 2026-09-21 00:09:06.201113 | Fetch Started |
| m4164 | fetch | pass | 2026-09-21 00:09:07.727023 | Fetch complete. |
| m4164 | scan | info | 2026-09-23 01:36:20.163174 | Scan Started |
| m4164 | scan | info | 2026-09-23 01:36:35.000784 | Virus scan passed. |
| m4164 | scan | info | 2026-09-23 01:36:35.03306 | YARA scan passed. |
| m4164 | scan | warn | 2026-09-23 01:36:35.610808 | MASTER_SITES changed in git history; review upstream source location. |
| m4164 | scan | warn | 2026-09-23 01:36:35.616015 | MASTER_SITES contains domain not in source allowlist: davidkebo.com |
| m4164 | scan | warn | 2026-09-23 01:36:35.633161 | Scan complete. |
| m4164b | test | info | 2026-09-29 12:57:06.488872 | Test Started |
| m4164b | test | pass | 2026-09-29 12:57:38.014036 | Test complete. |
| m4164b | build | info | 2026-09-21 04:46:50.856336 | Build Started |
| m4164b | build | warn | 2026-09-21 04:47:21.097379 | fake-qa reported: 'lib/libcudd-3.0.0.so.0.0.0' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD} |
| m4164b | build | warn | 2026-09-21 04:47:21.460197 | Build complete. |
scan Log
== ClamAV package scan == /mnt/magus/packages/648/cudd-3.0.0.mport: OK == YARA port-file scan == No YARA matches. == Source integrity scan == Compared math/cudd between e5b710a1a9b02cef84587e89e54f31fb381d2392 and b6d80ee7e16597227bb6f8b7b8b48fb94613b54e. Changed files: math/cudd/Makefile math/cudd/distinfo math/cudd/pkg-descr Warnings: SourceIntegrityMasterSitesChanged: MASTER_SITES changed in git history; review upstream source location. SourceIntegrityUnknownMasterSiteDomain: MASTER_SITES contains domain not in source allowlist: davidkebo.com
Links
Depends On
- devel/gmake (build)
Depend Of
Categories
CVEs
- Loading CVE information...
MidnightBSD Magus