diff options
author | Giacomo Leidi <goodoldpaul@autistici.org> | 2020-06-10 12:52:20 +0200 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2020-12-15 01:55:37 -0500 |
commit | f5de08ffab7ac671c7c3b4be76f5402004266930 (patch) | |
tree | 373a4ecf083f2115da7024f9d2f1f1c037c35471 /gnu | |
parent | 0386f3a69e6c7c2e0e31cf7a61bcecd6c9dcab50 (diff) |
gnu: Add python-pyre-extensions.
* gnu/packages/python-xyz.scm (python-pyre-extensions): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/python-xyz.scm | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 7482c053e5..8cdf07ceef 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -23262,3 +23262,27 @@ process.") (description "@code{python-aiofiles} is a library for handling local disk files in asyncio applications.") (license license:asl2.0))) + +(define-public python-pyre-extensions + (package + (name "python-pyre-extensions") + (version "0.0.18") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pyre-extensions" version)) + (sha256 + (base32 + "0c5cbbqrfyjwakdh3kbwxis6mbrbwky1z1fqslgszgpcj4g43q30")))) + (build-system python-build-system) + (propagated-inputs + `(("python-typing-extensions" + ,python-typing-extensions) + ("python-typing-inspect" ,python-typing-inspect))) + (home-page "https://pyre-check.org") + (synopsis + "Type system extensions for use with @code{python-pyre}") + (description + "@code{python-pyre-extensions} defines extensions to the standard +@code{typing} module that are supported by the Pyre typechecker.") + (license license:expat))) |