MidnightBSD Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
2.7.0_2 642 4.1 amd64 gpl3+ 0 pass pass skip warn

License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept

Events

Machine Phase Type Time Message
m4164b build info 2026-07-09 03:17:39.618242 Build Started
m4164b build pass 2026-07-09 03:18:44.452336 Build complete.
m4164b fetch info 2026-07-07 01:11:16.029146 Fetch Started
m4164b fetch pass 2026-07-07 01:11:23.0457 Fetch complete.
m4164b scan info 2026-07-20 20:13:36.849665 Scan Started
m4164b scan info 2026-07-20 20:13:57.371116 Virus scan passed.
m4164b scan warn 2026-07-20 20:13:57.40685 YARA found suspicious port shell content.
m4164b scan warn 2026-07-20 20:14:03.342404 MASTER_SITES changed in git history; review upstream source location.
m4164b scan warn 2026-07-20 20:14:03.349155 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0
m4164b scan warn 2026-07-20 20:14:03.377081 Scan complete.
m4164b test info 2026-07-23 19:59:34.800731 Test Started
m4164b test skip 2026-07-23 19:59:43.518032 yices test phase skipped: NO_TEST is set
m4164b test skip 2026-07-23 19:59:43.590596 Test complete.

scan Log

== ClamAV package scan ==
/mnt/magus/packages/642/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