From e452d9db4fa8b6e068e27bad775f902a4d48fc19 Mon Sep 17 00:00:00 2001
From: Gary Talent <gary@drinkingtea.net>
Date: Sat, 30 Dec 2023 22:50:11 -0600
Subject: [PATCH] [nostalgia] Add python3-mypy to Debian deps

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 4eaa751e..eccb4849 100644
--- a/README.md
+++ b/README.md
@@ -15,6 +15,7 @@ probably differ), install the following additional packages:
 * pkg-config
 * xorg-dev
 * libgtk-3-dev
+* python3-mypy
 
 ## Build