summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b2593b6c20bb..a408fbc5319a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')