# 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 = 1764054867
packager = Garuda Builder <team@garudalinux.org>
size = 217831
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
