Set flags for hgeometry.

This commit is contained in:
David Himmelstrup 2021-03-15 22:04:10 +08:00 committed by GitHub
parent 16da92afb9
commit 402bb78cdf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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: