@@ -20307,3 +20307,25 @@ permissively licensed, async/await-native I/O library for Python.")
(description "@code{python-aiofiles} is a library for handling local
disk files in asyncio applications.")
(license license:asl2.0)))
+
+(define-public python-mypy-extensions
+ (package
+ (name "python-mypy-extensions")
+ (version "0.4.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "mypy-extensions" version))
+ (sha256
+ (base32
+ "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id"))))
+ (build-system python-build-system)
+ (home-page
+ "https://github.com/python/mypy_extensions")
+ (synopsis
+ "Experimental type system extensions for mypy")
+ (description
+ "@code{python-mypy-extensions} defines experimental extensions
+to the standard @code{typing} module that are supported by the
+@code{mypy} typechecker.")
+ (license license:expat)))