[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#41807] [PATCH 15/26] gnu: Add python-mypy-extensions.
From: |
Giacomo Leidi |
Subject: |
[bug#41807] [PATCH 15/26] gnu: Add python-mypy-extensions. |
Date: |
Thu, 11 Jun 2020 17:13:46 +0200 |
* gnu/packages/python-xyz.scm (python-mypy-extensions): New variable.
---
gnu/packages/python-xyz.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 46b60ee98b..66fb284eec 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -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)))
--
2.26.2
- [bug#41807] [PATCHES] Add python-sanic and dependencies., paul, 2020/06/11
- [bug#41807] [PATCH 01/26] gnu: Add python-outcome., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 03/26] gnu: Add python-contextvars., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 06/26] gnu: Add python-trustme., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 07/26] gnu: Add python-trio., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 08/26] gnu: Add python-httptools., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 13/26] gnu: Add python-h2., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 15/26] gnu: Add python-mypy-extensions.,
Giacomo Leidi <=
- [bug#41807] [PATCH 18/26] gnu: python-typing-extensions: Update to 3.7.4.2., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 10/26] gnu: Add python-h11., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 20/26] gnu: Add python-nbsphinx., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 21/26] gnu: Add python-dataclasses., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 04/26] gnu: Add python-curio., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 12/26] gnu: Add python-hyperframe., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 05/26] gnu: Add python-sniffio., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 09/26] gnu: Add python-aiofiles., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 14/26] gnu: Add python-hstspreload., Giacomo Leidi, 2020/06/11
- [bug#41807] [PATCH 16/26] gnu: Add python-flake8-pyi., Giacomo Leidi, 2020/06/11