Jörg Thalheim bf794aaffc mypy: 0.600 -> 0.610		2018-06-09 18:26:27 +01:00
..
default.nix	mypy: 0.600 -> 0.610	2018-06-09 18:26:27 +01:00