summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD1
1 files changed, 0 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 923a310b38b7..da0510fcc4cf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -26,7 +26,6 @@ makedepends=(
'python-sphinx_rtd_theme'
'python-sphinxcontrib-bibtex'
'python>=3.7'
- 'python-sphinx'
'symfpu-cvc5'
)
checkdepends=('gtest' 'python-pytest')