Derek Kulinski 7f68a230b7 Updated patch for mypy 0.960+ ... The old patch URL did not apply cleanly for 0.960 and 0.961. Looks like the PR was eventually merged so hopefully these might be the last versions needing a patch.		2022-06-09 17:52:34 -07:00
..
build-systems.json	Merge pull request #645 from l0b0/patch-3	2022-05-26 18:32:28 +08:00
default.nix	Updated patch for mypy 0.960+	2022-06-09 17:52:34 -07:00
shapely-rewrite.py	overrides.shapely: Remove patch	2022-05-12 22:38:08 +12:00