@@ -6891,6 +6891,8 @@ packages:
6891# Package flags are applied to individual packages, and override the values of
6891# Package flags are applied to individual packages, and override the values of
6892# global-flags
6892# global-flags
6893package-flags:
6893package-flags:
6895+ planargraph: false # Won't be required by version 0.13
6894 QuickCheck:
6896 QuickCheck:
6895 old-random: true
6897 old-random: true
6896 pathtype:
6898 pathtype: