From c9d81228bd51f8038599175ba36af107f252242b Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 5 Jun 2025 11:00:54 +0200
Subject: [PATCH] python-deps: bump cmake-format and autopep8

As decided at the most recent TSC meeting, bump cmake format to the
latest version. This will change/break style in many of the existing
cmake files, but pinning pyyaml to < 6 is not a long-term option.

Also bump patch version of autopep8, which should not lead to style
changes.

Bump overall sel4-deps version because the cmake-format change is
incompatible. Version 0.6.0 was not published because of the pyyaml
pinning/downgrade.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 tools/python-deps/README.rst | 2 +-
 tools/python-deps/setup.py   | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

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.