From 2ae57c49896a180afd94d40b67d394a9ee8079d9 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Fri, 24 Feb 2023 19:03:47 +0100
Subject: [PATCH] Bump Sphinx to 5.3.0 and force certifi >= 2022.12.7
For the moment, readthedocs.org does not support Sphinx 6.
(cherry picked from commit 4da86b0c7becbff132c85d6d94993c7791269651)
---
doc/requirements.in | 6 ++++--
doc/requirements.txt | 29 +++++++++++++++++------------
2 files changed, 21 insertions(+), 14 deletions(-)
diff --git a/doc/requirements.in b/doc/requirements.in
index 3638f36e09..df0b2f34d8 100644
--- a/doc/requirements.in
+++ b/doc/requirements.in
@@ -1,6 +1,8 @@
-sphinx >= 5
-sphinx_rtd_theme >= 1
+sphinx == 5.3.0
+sphinx_rtd_theme >= 1.2
sphinx-jsonschema
sphinxnotes-strike
# Pygments>=2.7.4 suggested by CVE-2021-20270 CVE-2021-27291
Pygments >= 2.7.4
+# Suggested by dependabot in https://github.com/haskell/cabal/pull/8807
+certifi >= 2022.12.7
diff --git a/doc/requirements.txt b/doc/requirements.txt
index 1d5425badf..d65e0d37e1 100644
--- a/doc/requirements.txt
+++ b/doc/requirements.txt
@@ -8,33 +8,33 @@ alabaster==0.7.12
# via sphinx
babel==2.9.1
# via sphinx
-certifi==2021.10.8
- # via requests
+certifi==2022.12.7
+ # via
+ # -r requirements.in
+ # requests
charset-normalizer==2.0.7
# via requests
-docutils==0.17.1
+docutils==0.18.1
# via
# sphinx
# sphinx-jsonschema
# sphinx-rtd-theme
idna==2.10
# via requests
-imagesize==1.2.0
+imagesize==1.4.1
# via sphinx
-jinja2==2.11.3
+jinja2==3.1.2
# via sphinx
jsonpointer==2.1
# via sphinx-jsonschema
-markupsafe==1.1.1
+markupsafe==2.1.2
# via jinja2
-packaging==20.9
+packaging==23.0
# via sphinx
-pygments==2.10.0
+pygments==2.14.0
# via
# -r requirements.in
# sphinx
-pyparsing==2.4.7
- # via packaging
pytz==2021.3
# via babel
pyyaml==5.4.1
@@ -45,14 +45,14 @@ requests==2.26.0
# sphinx-jsonschema
snowballstemmer==2.1.0
# via sphinx
-sphinx==5.0.1
+sphinx==5.3.0
# via
# -r requirements.in
# sphinx-rtd-theme
# sphinxnotes-strike
sphinx-jsonschema==1.16.11
# via -r requirements.in
-sphinx-rtd-theme==1.0.0
+sphinx-rtd-theme==1.2.0
# via -r requirements.in
sphinxcontrib-applehelp==1.0.2
# via sphinx
@@ -60,6 +60,8 @@ sphinxcontrib-devhelp==1.0.2
# via sphinx
sphinxcontrib-htmlhelp==2.0.0
# via sphinx
+sphinxcontrib-jquery==2.0.0
+ # via sphinx-rtd-theme
sphinxcontrib-jsmath==1.0.1
# via sphinx
sphinxcontrib-qthelp==1.0.3
@@ -70,3 +72,6 @@ sphinxnotes-strike==1.1
# via -r requirements.in
urllib3==1.26.7
# via requests
+
+# The following packages are considered to be unsafe in a requirements file:
+# setuptools
--
GitLab