.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

pkgbase = sby-nightly
	pkgdesc = Front-end for Yosys-based formal verification flows
	pkgver = 20240404_yosys_0.39
	pkgrel = 1
	epoch = 1
	url = https://github.com/YosysHQ/sby
	arch = any
	license = custom:ISC
	makedepends = git
	depends = yosys-nightly
	depends = python
	depends = python-click
	optdepends = boolector
	optdepends = yices
	optdepends = z3
	conflicts = symbiyosys-git
	replaces = symbiyosys-nightly
	options = !strip
	source = sby::git+https://github.com/YosysHQ/sby.git#commit=e30a0fe
	sha256sums = SKIP

pkgname = sby-nightly