diff options
| author | Benoît Allard | 2021-12-29 18:45:59 +0100 |
|---|---|---|
| committer | Benoît Allard | 2021-12-29 18:45:59 +0100 |
| commit | 58dbf881e8edc79510a7bf3fdffa4d34ed862863 (patch) | |
| tree | 8630fcace199084c0e7d6518640a91e799158be6 /PKGBUILD | |
| parent | 069d7e9a4d650fb812bdf3c6e06e385a9d30347e (diff) | |
| download | aur-symbiyosys-git.tar.gz | |
Add provides/conflicts
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -2,7 +2,7 @@ # Contributor: promach _gitname=SymbiYosys pkgname="${_gitname,,}-git" -pkgver=r180.23f8901 +pkgver=r284.ac9001b pkgrel=1 pkgdesc="A front-end driver program for Yosys-based formal hardware verification flows" arch=('any') @@ -10,6 +10,8 @@ url="https://github.com/YosysHQ/${_gitname}.git" license=('custom:ISC') depends=('python3' 'yosys') makedepends=('git') +provides=('symbiyosys') +conflicts=('symbiyosys') optdepends=('yices: solving using yices2' 'z3: solving using z3' 'boolector: solving using boolector') |