Subject: [PATCH 00/10] gnu: Add python-mypy.

From: Tanguy Le Carrour <[email-masked]>
Date: Tue, 21 Jul 2020 13:55:15 +0200

This patch replaces #42395 and #42396.
It might also replace #35975 and #35193.

Tanguy Le Carrour (10):
  gnu: python-typing-extension: Update to 3.7.4.2.
  gnu: python-hypothesis: Update to 5.20.0.
  gnu: Add python-mypy-extensions.
  gnu: Add python-typing-inspect.
  gnu: Add python-libcst.
  gnu: Add python-lark-parser.
  gnu: Add python-hypothesmith.
  gnu: Add python-flake8-bugbear.
  gnu: Add python-flake8-pyi.
  gnu: Add python-mypy.

 gnu/packages/check.scm        |  27 +++++-
 gnu/packages/python-check.scm |  71 +++++++++++++++
 gnu/packages/python-xyz.scm   | 159 +++++++++++++++++++++++++++++++++-
 3 files changed, 253 insertions(+), 4 deletions(-)

-- 
2.27.0