blob: f5f373a51d2a9c8bfe431894080835aadc9f6f52 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = eqy-nightly
pkgdesc = Equivalence Checking with Yosys
pkgver = 20240331_yosys_0.38_2_g61336a7
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/eqy
arch = any
license = custom:ISC
makedepends = git
makedepends = gcc
makedepends = yosys-nightly
depends = yosys-nightly
depends = sby-nightly
depends = python
depends = python-click
options = !strip
source = eqy::git+https://github.com/YosysHQ/eqy.git#commit=61336a7
sha256sums = SKIP
pkgname = eqy-nightly
|