From 402bb78cdf0fab8592e049a262f02758f4165c56 Mon Sep 17 00:00:00 2001 From: David Himmelstrup Date: Mon, 15 Mar 2021 22:04:10 +0800 Subject: [PATCH] Set flags for hgeometry. --- build-constraints.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 875ab184..54910ae4 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -6891,6 +6891,8 @@ packages: # Package flags are applied to individual packages, and override the values of # global-flags package-flags: + hgeometry: + planargraph: false # Won't be required by version 0.13 QuickCheck: old-random: true pathtype: