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 x86
Size 37.6KiB
Installed size 220.0KiB
Origin symbiyosys
Maintainer Patrycja Rosa
Build time 2023-12-18 21:13:48
Commit ca0780ad800af3f8af8c598e4324f5a619123aea
Merge request 57051
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)
Provides (1)
Install if (0)