# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = symbiyosys-git
pkgbase = symbiyosys-git
xdata = pkgtype=pkg
pkgver = r756.cc84339-1
pkgdesc = A front-end driver program for Yosys-based formal hardware verification flows
url = https://github.com/YosysHQ/sby.git
builddate = 1765142009
packager = Ivan Shapovalov <intelfx@intelfx.name>
size = 217820
arch = any
license = custom:ISC
conflict = symbiyosys
provides = symbiyosys
depend = python3
depend = python-click
depend = yosys
optdepend = yices: solving using yices2
optdepend = z3: solving using z3
optdepend = boolector: solving using boolector
makedepend = git
