Merge pull request #333 from felixonmars/patch-1

Allow random 1.2
pull/334/head
Taylor Fausak 2020-12-15 13:21:00 -05:00 committed by GitHub
commit b1bfef5b8a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -120,7 +120,7 @@ library {
, czipwith >=1.0.1.0 && <1.1
, ghc-boot-th >=8.6.1 && <8.11
, filepath >=1.4.1.0 && <1.5
, random >= 1.1 && <1.2
, random >= 1.1 && <1.3
}
default-extensions: {
CPP