Skip to content

Commit

Permalink
stack: use lts-16.31 for GHC-8.8 build
Browse files Browse the repository at this point in the history
  • Loading branch information
@msakai
msakai committed Feb 1, 2021
1 parent 586ed36 commit d985665
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 4 deletions.
3 changes: 1 addition & 2 deletions stack-ghc-8.8.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
# resolver:
# name: custom-snapshot
# location: "./custom-snapshot.yaml"
resolver: lts-16.27
resolver: lts-16.31

# User packages to be built.
# Various formats can be used as shown in the example below.
Expand Down Expand Up @@ -46,7 +46,6 @@ extra-deps:
- logic-TPTP-0.4.7.0
#- git: https://github.com/msakai/logic-TPTP.git
# commit: 9041314569aff4117c0da677f2af04614caf1aa5
- extended-reals-0.2.3.0
- finite-field-0.9.0
- pseudo-boolean-0.1.9.0@sha256:18be9ef79c2b81baa746672182afefd800f8b96fcac7946bbb0456ea652e0a74
- sign-0.4.4
Expand Down
3 changes: 1 addition & 2 deletions stack.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
# resolver:
# name: custom-snapshot
# location: "./custom-snapshot.yaml"
resolver: lts-16.27
resolver: lts-16.31

# User packages to be built.
# Various formats can be used as shown in the example below.
Expand Down Expand Up @@ -46,7 +46,6 @@ extra-deps:
- logic-TPTP-0.4.7.0
#- git: https://github.com/msakai/logic-TPTP.git
# commit: 9041314569aff4117c0da677f2af04614caf1aa5
- extended-reals-0.2.3.0
- finite-field-0.9.0
- pseudo-boolean-0.1.9.0@sha256:18be9ef79c2b81baa746672182afefd800f8b96fcac7946bbb0456ea652e0a74
- sign-0.4.4
Expand Down

0 comments on commit d985665

Please sign in to comment.