Rouven Czerwinski 16cf493533 Revert "Revert "mypy: 0.761 -> 0.770"" ...

This reverts commit 776b55518a.

2020-03-27 01:57:48 -07:00

..

default.nix

Revert "Revert "mypy: 0.761 -> 0.770""

2020-03-27 01:57:48 -07:00

extensions.nix

mypy: add missing dep, rename mypy_extensions to mypy-extensions

2019-10-27 16:26:55 +01:00