sby

sby 0.69 · pkgs/by-name/sb/sby/package.nix

Health

Risk

risk 9 low

+8 0.69 is behind upstream 0.70
+1 no versionCheckHook

Version

0.69 0.70 available

Channels

master 0.69 · nixos-unstable 0.69 · nixos-26.05 0.61 master is ahead of nixos-26.05

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

SymbiYosys, a front-end for Yosys-based formal verification flows

Homepage

https://symbiyosys.readthedocs.io/

License

ISC

Platforms

79 platforms: Linux, Darwin

Main program

sby

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/sb/sby/package.nix:92

Maintainers

thoughtpolice, carlossless

Version bumps 1

all open bumps

sby: 0.69 -> 0.70

#574148 by carlossless · opened 2d ago · checks pass

Pull requests 2

maintainers: rename carlossless to karstx

#575221 by karstx · opened 1h ago · checks pass

sby: 0.69 -> 0.70

#574148 by carlossless · opened 2d ago · checks pass

Closed or merged in the last 60 days 3

sby: 0.68 -> 0.69

#561980 by carlossless · merged 3w ago

yosys, sby: add carlossless as maintainer

#550409 by carlossless · merged 8w ago

sby: 0.61 -> 0.68

#499109 by r-ryantm · merged 2mo ago

Issues 0

None open.