Package Details: sby-nightly 1:20241104_yosys_0.46_4_gdaed0e1-1

Git Clone URL: https://aur.archlinux.org/sby-nightly.git (read-only, click to copy)
Package Base: sby-nightly
Description: Front-end for Yosys-based formal verification flows
Upstream URL: https://github.com/YosysHQ/sby
Licenses: custom:ISC
Conflicts: symbiyosys-git
Provides: sby, symbiyosys
Replaces: symbiyosys-nightly
Submitter: lethalbit
Maintainer: lethalbit
Last Packager: lethalbit
Votes: 0
Popularity: 0.000000
First Submitted: 2022-02-19 07:41 (UTC)
Last Updated: 2024-11-04 00:00 (UTC)

Dependencies (8)

Required by (3)

Sources (1)