From afc02c2af8fdc9b3915ca26174f5f1aef5126565 Mon Sep 17 00:00:00 2001
From: Daniel de Leng <dnleng@protonmail.com>
Date: Tue, 2 Jul 2024 21:29:15 +0200
Subject: [PATCH] Add dependency mypy

---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index dd5cba9b7..bf0569135 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -3,7 +3,7 @@
 FROM ubuntu:24.04
 LABEL org.opencontainers.image.authors="daniel.de.leng@liu.se"
 
-RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design
+RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design python3-mypy
 
 ENV HOME=/root
 WORKDIR /root
-- 
GitLab