summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorGiacomo Leidi <goodoldpaul@autistici.org>2020-06-10 12:52:20 +0200
committerLeo Famulari <leo@famulari.name>2020-12-15 01:55:37 -0500
commitf5de08ffab7ac671c7c3b4be76f5402004266930 (patch)
tree373a4ecf083f2115da7024f9d2f1f1c037c35471 /gnu/packages
parent0386f3a69e6c7c2e0e31cf7a61bcecd6c9dcab50 (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/packages')
-rw-r--r--gnu/packages/python-xyz.scm24
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)))