Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions .orchestra/config/components/revng-python-dependencies.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ dependencies:
- llvm
requirements: |-
# Python language checkers/formatters
black>=22.12.0,<23.0
black>=25.1.0,<26.0
flake8>=7.0.0,<8.0
flake8-breakpoint>=1.1.0,<2.0
flake8-builtins>=2.1.0,<3.0
Expand All @@ -25,24 +25,27 @@ requirements: |-
pep8-naming>=0.13.3,<1.0
isort>=5.11.4,<6.0
codespell>=2.2.2,<3.0
mypy==1.13.0
mypy==1.17.0

# Python types, needed for mypy to work correctly
boto3-stubs[s3]
types-backports
types-PyYAML
types-requests
types-urllib3
# This specific versions because newer ones requires maturin, the rust setup tool,
# and inside orchestra it fails to compile because it doesn't link against libc.
types-jsonschema>=4.17.0.10,<4.18.0

# cmake-format executable
cmakelang

# Applications/Script dependencies
ariadne[asgi-file-uploads]>=0.23.0
boto3<=1.35.99
cffi
cffi>=1.17.1,<2.0
Jinja2
gql[aiohttp]
gql[aiohttp]==3.5.2
https://github.com/revng/grandiso-networkx/archive/043ce4b.tar.gz
jsonschema>=4.17.3,<4.18.0
networkx>=3.3
Expand All @@ -51,6 +54,7 @@ requirements: |-
pydot>=3.0.2
pyelftools
zstandard
click==8.2.1

# This is our fork of the python-idb package that includes some fixes.
https://github.com/revng/python-idb/archive/08ba07a.tar.gz
Expand Down