diff --git a/build-constraints.yaml b/build-constraints.yaml index 8af06410..e491ea96 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -8125,6 +8125,7 @@ packages: # Package flags are applied to individual packages, and override the values of # global-flags +# NB: These flags are shipped to users, ie used in snapshots (#7438) package-flags: QuickCheck: old-random: false