Daiderd Jordan e7c3e277b6 mypy: 0.761 -> 0.770		2020-03-26 19:45:18 +01:00
..
default.nix	mypy: 0.761 -> 0.770	2020-03-26 19:45:18 +01:00
extensions.nix	mypy: add missing dep, rename mypy_extensions to mypy-extensions	2019-10-27 16:26:55 +01:00