[Debian-med-packaging] Bug#879195: src:mypy: Split public modules from mypy package

[Ghislain Antony Vaillant]

Package: src:mypy
Severity: wishlist

Dear Michael,

src:mypy currently produces a single binary package providing both the
main command line interface and the public modules. However, the latter
is a dependency of integration plugins for flake8 (flake8-mypy) and the
Python language server (pyls-mypy), both of which are in the process of
being packaged.

The Debian Python policy stipulates that public modules be provided in a
separate binary package, or install standalone Python applications under
/usr/share/${app} [1].

Please consider packaging the public modules into a separate
python3-mypy binary package and have mypy depend on it. If you can't
find the time, I'd be happy to do it as I am also a member of d-med.

[1] https://www.debian.org/doc/packaging-manuals/python-policy/ch-module_packages.html

Cheers,
Ghis

-- System Information:
Debian Release: stretch/sid
  APT prefers artful
  APT policy: (500, 'artful')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.13.0-16-generic (SMP w/8 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE=en_GB:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)