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