diff --git a/tools/python-deps/README.rst b/tools/python-deps/README.rst
index 5a2f38123..dcefaaaf8 100644
--- a/tools/python-deps/README.rst
+++ b/tools/python-deps/README.rst
@@ -8,4 +8,4 @@ seL4 Python Dependency Metapackage
 ##################################
 
 An empty package depending on all the python packages required to build the seL4
-microkernel, its manual, and proofs.
+microkernel and its manual.
diff --git a/tools/python-deps/setup.py b/tools/python-deps/setup.py
index c37a629af..8c9451897 100644
--- a/tools/python-deps/setup.py
+++ b/tools/python-deps/setup.py
@@ -35,18 +35,18 @@ DEPS = [
     'pyelftools',
     'sh',
     'pexpect',
-    'pyyaml>=5.1,<6',
+    'pyyaml>=5.1',
     'jsonschema',
     'pyfdt',
-    'cmake-format==0.4.5',
+    'cmake-format==0.6.13',
     'guardonce',
-    'autopep8==2.3.1',
+    'autopep8==2.3.2',
     'libarchive-c',
 ]
 
 setup(
     name='sel4-deps',
-    version='0.6.0',
+    version='0.7.0',
     description='Metapackage for downloading build dependencies for the seL4 microkernel',
     long_description="""
 This meta package depends on all python packages you need to build the seL4 microkernel and manual.