From f5de08ffab7ac671c7c3b4be76f5402004266930 Mon Sep 17 00:00:00 2001 From: Giacomo Leidi Date: Wed, 10 Jun 2020 12:52:20 +0200 Subject: gnu: Add python-pyre-extensions. * gnu/packages/python-xyz.scm (python-pyre-extensions): New variable. Signed-off-by: Leo Famulari --- gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'gnu/packages') 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))) -- cgit v1.2.3