diff --git a/package/arch/PKGBUILD b/package/arch/PKGBUILD
index 79e754c33e6..f16f289d1e3 100644
--- a/package/arch/PKGBUILD
+++ b/package/arch/PKGBUILD
@@ -8,8 +8,8 @@ arch=('x86_64')
 url="https://github.com/runtimeverification/k"
 license=('custom')
 groups=()
-depends=( 'bison' 'clang' 'diffutils' 'flex' 'fmt' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libsecp256k1' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
-makedepends=( 'boost' 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
+depends=( 'bison' 'boost' 'clang' 'diffutils' 'flex' 'fmt' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libsecp256k1' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
+makedepends=( 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
 checkdepends=()
 optdepends=()
 provides=()