diff options
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 1 |
2 files changed, 0 insertions, 2 deletions
@@ -19,7 +19,6 @@ pkgbase = bitwuzla makedepends = python-sphinx_rtd_theme makedepends = python-sphinxcontrib-bibtex makedepends = python>=3.7 - makedepends = python-sphinx makedepends = symfpu-cvc5 depends = gcc-libs depends = glibc @@ -26,7 +26,6 @@ makedepends=( 'python-sphinx_rtd_theme' 'python-sphinxcontrib-bibtex' 'python>=3.7' - 'python-sphinx' 'symfpu-cvc5' ) checkdepends=('gtest' 'python-pytest') |