From 631fa95a42a299bfbc5c23f262da39924a47299b Mon Sep 17 00:00:00 2001
From: Christoph Froehlich <christoph.froehlich@ait.ac.at>
Date: Sat, 9 Aug 2025 21:38:46 +0000
Subject: [PATCH] add mypy

---
 ros2_debian/Dockerfile.debian12 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ros2_debian/Dockerfile.debian12 b/ros2_debian/Dockerfile.debian12
index 80165c7..f5d7223 100644
--- a/ros2_debian/Dockerfile.debian12
+++ b/ros2_debian/Dockerfile.debian12
@@ -102,6 +102,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
   python3-ament-pep257 \
   python3-flake8 \
   python3-coverage \
+  python3-mypy \
   && \
   # colcon-devtools>0.2.3 is not released for debian12, so override it with pip
   # typing_extensions needs to be >4.7.0, but is available on apt with 4.4.0 only