Use random 1.2.0 in stack.yaml.
This commit is contained in:
parent
c3f9e8c122
commit
27d7652329
1 changed files with 3 additions and 0 deletions
|
@ -2,6 +2,8 @@ flags:
|
||||||
pandoc:
|
pandoc:
|
||||||
trypandoc: false
|
trypandoc: false
|
||||||
embed_data_files: true
|
embed_data_files: true
|
||||||
|
QuickCheck:
|
||||||
|
old-random: false
|
||||||
packages:
|
packages:
|
||||||
- '.'
|
- '.'
|
||||||
extra-deps:
|
extra-deps:
|
||||||
|
@ -13,6 +15,7 @@ extra-deps:
|
||||||
- doclayout-0.3.0.2
|
- doclayout-0.3.0.2
|
||||||
- citeproc-0.3.0.9
|
- citeproc-0.3.0.9
|
||||||
- texmath-0.12.2
|
- texmath-0.12.2
|
||||||
|
- random-1.2.0
|
||||||
ghc-options:
|
ghc-options:
|
||||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||||
resolver: lts-17.5
|
resolver: lts-17.5
|
||||||
|
|
Loading…
Reference in a new issue