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 | 644 | 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 |
|---|---|---|---|---|
| m4164b | fetch | info | 2026-07-26 13:30:30.331726 | Fetch Started |
| m4164b | fetch | pass | 2026-07-26 13:30:31.624148 | Fetch complete. |
| m4164b | build | info | 2026-07-26 20:51:44.602835 | Build Started |
| m4164b | build | warn | 2026-07-26 20:52:19.343866 | 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-07-26 20:52:19.758129 | Build complete. |
| m4164b | scan | info | 2026-07-28 14:31:51.076135 | Scan Started |
| m4164b | scan | info | 2026-07-28 14:32:09.740869 | Virus scan passed. |
| m4164b | scan | info | 2026-07-28 14:32:09.771714 | YARA scan passed. |
| m4164b | scan | warn | 2026-07-28 14:32:10.767219 | MASTER_SITES changed in git history; review upstream source location. |
| m4164b | scan | warn | 2026-07-28 14:32:10.77293 | MASTER_SITES contains domain not in source allowlist: davidkebo.com |
| m4164b | scan | warn | 2026-07-28 14:32:10.796794 | Scan complete. |
| m4164 | test | info | 2026-07-29 14:56:13.903335 | Test Started |
| m4164 | test | pass | 2026-07-29 14:56:35.862597 | Test complete. |
scan Log
== ClamAV package scan == /mnt/magus/packages/644/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