Package details
Package symbiyosys
Version 0.36-r0
Description Front-end for Yosys-based formal verification flows
Project https://github.com/YosysHQ/sby
License ISC
Branch edge
Repository testing
Architecture ppc64le
Size 37.32 kB
Installed size 220 kB
Origin symbiyosys
Maintainer Patrycja Rosa
Build time 2023-12-18 21:13:48
Commit ca0780ad800af3f8af8c598e4324f5a619123aea
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)