@@ -471,3 +471,29 @@ Python software under test, when they make an HTTP query.")
(description "The @code{python-mypy-extensions} module defines experimental
extensions to the standard 'typing' module that are supported by the mypy typechecker.")
(license license:expat)))
+
+(define-public python-mypy
+ (package
+ (name "python-mypy")
+ (version "0.782")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "mypy" version))
+ (sha256
+ (base32
+ "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg"))))
+ (build-system python-build-system)
+ (arguments `(#:tests? #f)); no tests
+ (propagated-inputs
+ `(("python-mypy-extensions" ,python-mypy-extensions)
+ ("python-typing-extensions" ,python-typing-extensions)
+ ("python-typed-ast" ,python-typed-ast)))
+ (home-page "http://www.mypy-lang.org/")
+ (synopsis "Optional static type checker for Python")
+ (description "Mypy is an optional static type checker for Python that aims
+to combine the benefits of dynamic (or 'duck') typing and static typing. Mypy combines
+the expressive power and convenience of Python with a powerful type system and
+compile-time type checking. Mypy type checks standard Python programs; run them using
+any Python VM with basically no runtime overhead.")
+ (license license:expat)))