MidnightBSD Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
2.7.0_2 643 4.1 i386 gpl3+ 0 pass pass skip 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:56:32.872405 Fetch Started
m4132 fetch pass 2026-07-19 18:56:39.284115 Fetch complete.
m4132 build info 2026-07-20 13:52:11.989727 Build Started
m4132 build pass 2026-07-20 13:53:23.949223 Build complete.
m4132 scan info 2026-07-21 13:07:28.261265 Scan Started
m4132 scan info 2026-07-21 13:07:49.104788 Virus scan passed.
m4132 scan warn 2026-07-21 13:07:49.145587 YARA found suspicious port shell content.
m4132 scan warn 2026-07-21 13:07:52.334236 MASTER_SITES changed in git history; review upstream source location.
m4132 scan warn 2026-07-21 13:07:52.340119 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0
m4132 scan warn 2026-07-21 13:07:52.363256 Scan complete.
m4132 test info 2026-07-22 07:38:45.957405 Test Started
m4132 test skip 2026-07-22 07:38:52.867874 yices test phase skipped: NO_TEST is set
m4132 test skip 2026-07-22 07:38:52.935413 Test complete.

scan Log

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