ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 23:46:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add python-pyre-extensions.

Browse source 
* gnu/packages/python-xyz.scm (python-pyre-extensions): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
This commit is contained in:
Giacomo Leidi 2020-06-10 12:52:20 +02:00 committed by Leo Famulari
parent 0386f3a69e
commit f5de08ffab
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08
1 changed files with 24 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
gnu/packages/python-xyz.scm
View file

@ -23262,3 +23262,27 @@ (define-public python-aiofiles
(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)))