diff --git a/swh/web/misc/coverage.py b/swh/web/misc/coverage.py
--- a/swh/web/misc/coverage.py
+++ b/swh/web/misc/coverage.py
@@ -60,7 +60,7 @@
         {
             "type": "debian",
             "info_url": "https://www.debian.org",
-            "info": "source packages from the Debian distribution",
+            "info": "source packages from Debian and Debian-based distributions",
             "search_pattern": "deb://",
         },
         {
diff --git a/tox.ini b/tox.ini
--- a/tox.ini
+++ b/tox.ini
@@ -26,7 +26,7 @@
 extras =
   testing
 deps =
-  mypy
+  mypy==0.910
 commands =
   mypy swh