diff options
| author | Christopher Baines <mail@cbaines.net> | 2018-03-24 10:56:26 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2018-12-31 09:22:53 +0000 |
| commit | d1042c6c5b2bcbb2525e3347e3ff83475b03ffb8 (patch) | |
| tree | 6866bade4cd8cfff0ccfe5d4d5155fc11a5c3b02 /gnu | |
| parent | c7f97657d3c9152f42dd00f94c6d9ec4a1391b2e (diff) | |
| download | gnu-guix-d1042c6c5b2bcbb2525e3347e3ff83475b03ffb8.tar gnu-guix-d1042c6c5b2bcbb2525e3347e3ff83475b03ffb8.tar.gz | |
gnu: Add python-mypy-lang.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/python.scm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 051ae50fd5..aae33564c1 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.scm @@ -15439,3 +15439,22 @@ class in a @acronym{DRY, Don't Repeat Yourself} way.") (description "Lints an HTML5 file using Google's style guide") (license #f))) + +(define-public python-mypy-lang + (package + (name "python-mypy-lang") + (version "0.5.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "mypy-lang" version)) + (sha256 + (base32 + "0ibwh1v6f7a0w4hpd3ydw9k7ph74b2lcfwwlli9pzby0vzwg2jq5")))) + (build-system python-build-system) + (home-page "") + (synopsis + "Dummy to remind people to switch to 'pip install mypy'") + (description + "Dummy to remind people to switch to 'pip install mypy'") + (license #f))) |