mirror of
https://github.com/archlinux/aur.git
synced 2026-03-14 23:16:48 +01:00
22 lines
556 B
Text
22 lines
556 B
Text
pkgbase = sby-nightly
|
|
pkgdesc = Front-end for Yosys-based formal verification flows
|
|
pkgver = 20240704_yosys_0.42_2_gc9e3b82
|
|
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=c9e3b82
|
|
sha256sums = SKIP
|
|
|
|
pkgname = sby-nightly
|