Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
Mypy is a static type checker for Python. Type checkers help ensure that you're using variables and functions in your code correctly. With mypy, add type hints (PEP 484) to your Python programs, and mypy will warn you when you use those types incorrectly. Python is a dynamic language, so usually you'll only see errors in your code when you attempt to run it. Mypy is a static checker, so it finds bugs in your programs without even running them!
Package | Summary | Distribution | Download |
python-mypy-1.15.0-1.noarch.html | Optional static typing for Python | OpenMandriva Cooker for x86_64 | python-mypy-1.15.0-1.noarch.rpm |
python-mypy-1.15.0-1.noarch.html | Optional static typing for Python | OpenMandriva Cooker for aarch64 | python-mypy-1.15.0-1.noarch.rpm |
python-mypy-1.15.0-1.noarch.html | Optional static typing for Python | OpenMandriva 6.0 for x86_64 | python-mypy-1.15.0-1.noarch.rpm |
python-mypy-1.15.0-1.noarch.html | Optional static typing for Python | OpenMandriva 6.0 for aarch64 | python-mypy-1.15.0-1.noarch.rpm |
Generated by rpm2html 1.6