From e37d9fa77cc1f38b285c34e212f379097fe1e0ab Mon Sep 17 00:00:00 2001
From: georg <georg@riseup.net>
Date: Mon, 25 Nov 2019 21:52:00 +0000
Subject: [PATCH] linting: drop installing mypy via pip, pull from Debian
 unstable

---
 linting | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/linting b/linting
index 792446f..199b364 100644
--- a/linting
+++ b/linting
@@ -6,11 +6,10 @@ RUN apt-get update \
     gir1.2-gdkpixbuf-2.0 \
     gir1.2-poppler-0.18 \
     gir1.2-rsvg-2.0 \
+    mypy \
     pyflakes3 \
     pylint3 \
     python3-bandit \
     python3-gi-cairo \
     python3-mutagen \
-    python3-pip \
-&&  rm -rf /var/cache/apt/* /var/lib/apt/lists/* \
-&&  pip3 install mypy
+&&  rm -rf /var/cache/apt/* /var/lib/apt/lists/*
-- 
GitLab