MidnightBSD Magus

cad/symbiyosys

SymbiYosys (sby): Front-end for Yosys-based formal verification flows

Flavor Version Run OSVersion Arch License Restricted Build Fetch Test Scan
0.63_1 642 4.1 amd64 iscl 0 pass pass pass warn

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

Events

Machine Phase Type Time Message
m4164b fetch info 2026-07-06 06:13:59.696242 Fetch Started
m4164b fetch pass 2026-07-06 06:14:01.255765 Fetch complete.
m4164b build info 2026-07-19 17:30:00.549124 Build Started
m4164b build pass 2026-07-19 17:30:37.671703 Build complete.
m4164b scan info 2026-07-20 05:49:36.61217 Scan Started
m4164b scan info 2026-07-20 05:49:53.687062 Virus scan passed.
m4164b scan info 2026-07-20 05:49:53.725734 YARA scan passed.
m4164b scan warn 2026-07-20 05:49:54.248158 USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: v0.63
m4164b scan warn 2026-07-20 05:49:54.273398 Scan complete.
m4164b test info 2026-07-21 11:39:18.936399 Test Started
m4164b test pass 2026-07-21 11:39:54.222405 Test complete.

scan Log

== ClamAV package scan ==
/mnt/magus/packages/642/symbiyosys-0.63_1.mport: OK

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

== Source integrity scan ==
Compared cad/symbiyosys between 88add1a8912ec9dd88100135957a4e22bbeb8331 and 028f5c35b717a0aa8460c3c4b96c7495cad12dee.
Changed files:
  cad/symbiyosys/Makefile
Warnings:
  SourceIntegrityMutableGithubTag: USE_GITHUB resolves to non-immutable-looking GH_TAGNAME: v0.63

Links

Depends On

Depend Of

Categories

CVEs

  • Loading CVE information...

LLM Analysis