MidnightBSD Magus

math/yices

SMT solver

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
2.7.0_2 648 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
m4164 fetch info 2026-09-21 00:17:24.972786 Fetch Started
m4164 fetch pass 2026-09-21 00:17:29.450351 Fetch complete.
m4164 scan info 2026-09-23 01:45:14.587252 Scan Started
m4164 scan info 2026-09-23 01:45:31.998109 Virus scan passed.
m4164 scan info 2026-09-23 01:45:32.035025 YARA scan passed.
m4164 scan warn 2026-09-23 01:45:34.963624 MASTER_SITES changed in git history; review upstream source location.
m4164 scan warn 2026-09-23 01:45:34.968733 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: yices-2.7.0
m4164 scan warn 2026-09-23 01:45:34.986779 Scan complete.
m4164 test info 2026-09-29 19:23:33.134968 Test Started
m4164 test skip 2026-09-29 19:23:39.113735 yices test phase skipped: NO_TEST is set
m4164 test skip 2026-09-29 19:23:39.178361 Test complete.
m4164b build info 2026-09-21 18:09:54.826975 Build Started
m4164b build pass 2026-09-21 18:10:53.642709 Build complete.

scan Log

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

== YARA port-file scan ==
No YARA matches.

== 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