diff options
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ pkgver=4.5.1.0.post2 pkgrel=1 arch=('any') depends=('python') -makedepends=('make' 'gcc-7' 'python-setuptools') +makedepends=('make' 'gcc7' 'python-setuptools') provides=('python-z3') conflicts=('python-z3') license=('MIT') |