From 9b5b8ca311962bd61a726d33e14b85397a5920f4 Mon Sep 17 00:00:00 2001
From: Martin Pitt <martin@piware.de>
Date: Thu, 28 Sep 2023 07:56:23 +0200
Subject: [PATCH] build-cockpit-toolbox: Install mypy

---
 build-cockpit-toolbox | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-cockpit-toolbox b/build-cockpit-toolbox
index c13b763..deff276 100755
--- a/build-cockpit-toolbox
+++ b/build-cockpit-toolbox
@@ -18,6 +18,7 @@ sudo sed -i s/nodocs// /etc/dnf/dnf.conf
 
 sudo dnf install -y ansible bash-completion man-db man-pages moreutils fd-find ripgrep gh git-delta neovim \
     python3-boto python3-boto3 python3-openstacksdk python3-pytest-asyncio libnotify \
+    python3-mypy \
     simple-scan /usr/bin/scanimage /usr/bin/pngquant /usr/bin/convert pdfmerge \
     cargo rustfmt clippy \
     calibre qt5-qtwayland \
-- 
2.39.2