MidnightBSD Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
2.7.0_2 646 4.1 amd64 gpl3+ 0 pass pass untested 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-08-08 06:20:33.309444 Fetch Started
m4164b fetch pass 2026-08-08 06:20:40.052981 Fetch complete.
m4164b build info 2026-08-10 23:49:58.968789 Build Started
m4164b build pass 2026-08-10 23:51:08.313654 Build complete.
m4164b scan info 2026-08-16 14:28:16.17495 Scan Started
m4164b scan info 2026-08-16 14:28:34.346109 Virus scan passed.
m4164b scan warn 2026-08-16 14:28:34.380577 YARA found suspicious port shell content.
m4164b scan warn 2026-08-16 14:28:38.659154 MASTER_SITES changed in git history; review upstream source location.
m4164b scan warn 2026-08-16 14:28:38.665283 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0
m4164b scan warn 2026-08-16 14:28:38.69589 Scan complete.

scan Log

== ClamAV package scan ==
/mnt/magus/packages/646/yices-2.7.0_2.mport: OK

== YARA port-file scan ==
/usr/mports/math/yices/Makefile(1): error: syntax error, unexpected identifier
/usr/mports/math/yices/Makefile(14): error: unterminated regular expression

== Source integrity scan ==
Compared math/yices between 5c1e9b25f64d3f9b9ac5740ab6eca23ef76084e5 and 71c27ef19150cc04195b442c741edca4786a4d5b.
Changed files:
  math/yices/Makefile
  math/yices/distinfo
  math/yices/pkg-plist
Warnings:
  SourceIntegrityMasterSitesChanged: MASTER_SITES changed in git history; review upstream source location.
  SourceIntegrityMutableGithubTag: USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0

Links

Depends On

Depend Of

Categories

CVEs

  • Loading CVE information...

LLM Analysis