on master help sign in
Set flags for hgeometry.
commit402bb78cdf0fab8592e049a262f02758f4165c56 authorDavid Himmelstrup <lemmih@gmail.com> dateMon 15 Mar 2021, 22:04 (6 years ago) parent16da92a
1 file changed+2
build-constraints.yaml+2
build-constraints.yaml+2
@@ -6891,6 +6891,8 @@ packages:
68916891# Package flags are applied to individual packages, and override the values of
68926892# global-flags
68936893package-flags:
6894+ hgeometry:
6895+ planargraph: false # Won't be required by version 0.13
68946896 QuickCheck:
68956897 old-random: true
68966898 pathtype: