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 | 643 | 4.1 | i386 | bsd3 | 0 | warn | pass | pass | warn |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Phase | Type | Time | Message |
|---|---|---|---|---|
| m4132 | fetch | info | 2026-07-19 18:38:57.481058 | Fetch Started |
| m4132 | fetch | pass | 2026-07-19 18:39:00.39321 | Fetch complete. |
| m4132 | build | info | 2026-07-19 23:55:05.051346 | Build Started |
| m4132 | build | warn | 2026-07-19 23:55:38.066302 | 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} |
| m4132 | build | warn | 2026-07-19 23:55:38.330618 | Build complete. |
| m4132 | scan | info | 2026-07-21 12:53:14.471493 | Scan Started |
| m4132 | scan | info | 2026-07-21 12:53:33.104559 | Virus scan passed. |
| m4132 | scan | info | 2026-07-21 12:53:33.145099 | YARA scan passed. |
| m4132 | scan | warn | 2026-07-21 12:53:33.92537 | MASTER_SITES changed in git history; review upstream source location. |
| m4132 | scan | warn | 2026-07-21 12:53:33.929368 | MASTER_SITES contains domain not in source allowlist: davidkebo.com |
| m4132 | scan | warn | 2026-07-21 12:53:33.947135 | Scan complete. |
| m4132 | test | info | 2026-07-22 06:33:49.585963 | Test Started |
| m4132 | test | pass | 2026-07-22 06:34:21.686364 | Test complete. |
scan Log
== ClamAV package scan == /mnt/magus/packages/643/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