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 | armhf |
| 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 |