@@ -5205,8 +5205,6 @@ packages:
5205# Package flags are applied to individual packages, and override the values of
5205# Package flags are applied to individual packages, and override the values of
5206# global-flags
5206# global-flags
5207package-flags:
5207package-flags:
5209− planargraph: false # Won't be required by version 0.13
5210 QuickCheck:
5208 QuickCheck:
5211 old-random: false
5209 old-random: false
5212 pathtype:
5210 pathtype: