MidnightBSD Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
2.7.0_2 644 4.1 amd64 gpl3+ 0 pass pass skip 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:51:52.035229 Fetch Started
m4164b fetch pass 2026-07-26 13:51:58.799667 Fetch complete.
m4164b build info 2026-07-27 12:08:31.804061 Build Started
m4164b build pass 2026-07-27 12:09:39.166363 Build complete.
m4164b scan info 2026-07-28 14:47:23.014662 Scan Started
m4164b scan info 2026-07-28 14:47:43.957331 Virus scan passed.
m4164b scan warn 2026-07-28 14:47:43.996454 YARA found suspicious port shell content.
m4164b scan warn 2026-07-28 14:47:49.051153 MASTER_SITES changed in git history; review upstream source location.
m4164b scan warn 2026-07-28 14:47:49.055873 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0
m4164b scan warn 2026-07-28 14:47:49.073734 Scan complete.
m4164 test info 2026-07-29 15:22:57.953041 Test Started
m4164 test skip 2026-07-29 15:23:02.788322 yices test phase skipped: NO_TEST is set
m4164 test skip 2026-07-29 15:23:02.851971 Test complete.

scan Log

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