# pin to v4.0.0 since newer pushes are broken
# TODO(jtgans): Remove this pinning once upstream is unborked.
fixtures==4.0.0

# TODO(hcindyl): Use camkes-deps 0.7.4 directly instead of explicitly installing
# the depedency packages.
aenum
jinja2>=3.0.0
ordered-set
plyplus
pyelftools
sel4-deps
pycparser
pyfdt
concurrencytest
# capDL deps
sortedcontainers
hypothesis

# Robot test framework for FPGA tests
pyserial

# camkes-deps

# Flatbuffers for TBM trace data. Relax the version range to resolve tf-nightly
# depenedency.
flatbuffers>=23.5.26

filecheck
hjson
jsonschema
lit
mako
matplotlib
netifaces
pandas
pexpect-serial
psutil
pyfzf
pyserial
pyyaml
requests
robotframework==6.0.2
scipy
sel4-deps
setuptools
tf-nightly==2.17.0.dev20240507
wget
yapf