-
Notifications
You must be signed in to change notification settings - Fork 16
/
requirements.txt
114 lines (114 loc) · 2.38 KB
/
requirements.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
#
# This file is autogenerated by pip-compile with Python 3.10
# by the following command:
#
# pip-compile --output-file=requirements.txt --strip-extras _requirements.txt
#
alabaster==0.7.16
# via sphinx
babel==2.15.0
# via sphinx
certifi==2024.7.4
# via requests
charset-normalizer==3.3.2
# via requests
cvldoc==1.0.1
# via docsinfra
cvldoc-parser==1.0.1
# via cvldoc
docsinfra @ git+https://github.com/Certora/docs-infrastructure.git@master
# via -r _requirements.txt
docutils==0.20.1
# via
# myst-parser
# sphinx
# sphinx-rtd-theme
gitdb==4.0.11
# via gitpython
gitpython==3.1.43
# via docsinfra
idna==3.7
# via requests
imagesize==1.4.1
# via sphinx
inflection==0.5.1
# via cvldoc
jinja2==3.1.4
# via
# myst-parser
# sphinx
markdown-it-py==3.0.0
# via
# mdit-py-plugins
# myst-parser
markupsafe==2.1.5
# via jinja2
mdit-py-plugins==0.4.1
# via myst-parser
mdurl==0.1.2
# via markdown-it-py
myst-parser==3.0.1
# via -r _requirements.txt
packaging==24.1
# via sphinx
pyenchant==3.2.2
# via sphinxcontrib-spelling
pygments==2.18.0
# via sphinx
pyyaml==6.0.1
# via myst-parser
requests==2.32.3
# via
# sphinx
# sphinxcontrib-youtube
smmap==5.0.1
# via gitdb
snowballstemmer==2.2.0
# via sphinx
sphinx==7.4.5
# via
# -r _requirements.txt
# docsinfra
# myst-parser
# sphinx-argparse
# sphinx-copybutton
# sphinx-design
# sphinx-rtd-theme
# sphinxcontrib-jquery
# sphinxcontrib-spelling
# sphinxcontrib-video
# sphinxcontrib-youtube
sphinx-argparse==0.4.0
# via docsinfra
sphinx-copybutton==0.5.2
# via -r _requirements.txt
sphinx-design==0.6.0
# via docsinfra
sphinx-rtd-theme==2.0.0
# via -r _requirements.txt
sphinxcontrib-applehelp==1.0.8
# via sphinx
sphinxcontrib-devhelp==1.0.6
# via sphinx
sphinxcontrib-htmlhelp==2.0.5
# via sphinx
sphinxcontrib-jquery==4.1
# via sphinx-rtd-theme
sphinxcontrib-jsmath==1.0.1
# via sphinx
sphinxcontrib-qthelp==1.0.7
# via sphinx
sphinxcontrib-serializinghtml==1.1.10
# via sphinx
sphinxcontrib-spelling==8.0.0
# via
# -r _requirements.txt
# docsinfra
sphinxcontrib-video==0.2.1
# via docsinfra
sphinxcontrib-youtube==1.2.0
# via docsinfra
tomli==2.0.1
# via sphinx
urllib3==2.2.2
# via requests