# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = yosys-git
pkgbase = yosys-git
xdata = pkgtype=pkg
pkgver = 0.62+91.r16679.fb653c418-1
pkgdesc = A framework for RTL synthesis
url = https://yosyshq.net/yosys/
builddate = 1771737261
packager = lilac-alarm (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 150921438
arch = aarch64
license = custom:ISC
conflict = yosys
provides = yosys=0.62+91.r16679.fb653c418
depend = bash
depend = tcl
depend = libffi
depend = protobuf
depend = boost-libs>=1.89.0
depend = boost-libs<1.90.0
depend = python>=3.14.0
depend = python<3.15.0
optdepend = graphviz: Schematics display support
optdepend = xdot: Display netlists
optdepend = yices: default solver for yosys-smtbmc
optdepend = cvc4: alternative solver for yosys-smtbmc
optdepend = z3: alternative solver for yosys-smtbmc
makedepend = git
makedepend = boost
makedepend = clang
makedepend = python
makedepend = pybind11
makedepend = python-cxxheaderparser
makedepend = uv
