blob: f44e085a2893993fd2e2a2a19a6560a9d9efbcb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = symbiyosys-git
pkgdesc = A front-end driver program for Yosys-based formal hardware verification flows
pkgver = r615.c9e3b82
pkgrel = 1
url = https://github.com/YosysHQ/sby.git
arch = any
license = custom:ISC
makedepends = git
depends = python3
depends = python-click
depends = yosys
optdepends = yices: solving using yices2
optdepends = z3: solving using z3
optdepends = boolector: solving using boolector
provides = symbiyosys
conflicts = symbiyosys
source = git+https://github.com/YosysHQ/sby.git
source = LICENSE
sha512sums = SKIP
sha512sums = a3202289ff7828c55d3ec3e22d23ed78a34fcae165a7c666d71d3cedd9abe06f638a09750d8c2d43dfca5781f1b32a616f439c3713a12265c02473f88c0f426d
pkgname = symbiyosys-git
|