Frederik Rietdijk 37619385b8 python: mypy: 0.770 -> 0.780		2020-06-11 10:00:02 +02:00
..
default.nix	python: mypy: 0.770 -> 0.780	2020-06-11 10:00:02 +02:00
extensions.nix	mypy: add missing dep, rename mypy_extensions to mypy-extensions	2019-10-27 16:26:55 +01:00