# Generated by abuild 3.12.0-r0
# using fakeroot version 1.32.2
# Mon Dec 18 21:13:48 UTC 2023
pkgname = symbiyosys
pkgver = 0.36-r0
pkgdesc = Front-end for Yosys-based formal verification flows
url = https://github.com/YosysHQ/sby
builddate = 1702934028
packager = Buildozer alpine-devel@lists.alpinelinux.org
size = 225280
arch = noarch
origin = symbiyosys
commit = ca0780ad800af3f8af8c598e4324f5a619123aea
maintainer = Patrycja Rosa <alpine@ptrcnull.me>
license = ISC
depend = python3
depend = py3-click
depend = yosys
# automatically detected:
provides = cmd:sby=0.36-r0
datahash = 3e94fd3e5aac9269c8cf3c81fe36c3409157febd20759d3c20820a5dc17e4a34
