configuration-ghc-8.4.x: bump to dhall_1_14_0

The `dhall_1_13_0` attribute doesn't exist, anymore.
This commit is contained in:
Jack Henahan 2018-05-31 16:37:05 -04:00 committed by GitHub
parent f7a96aea20
commit 286f9ca704
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -408,8 +408,8 @@ self: super: {
# Older versions don't compile.
base-compat = self.base-compat_0_10_1;
brick = self.brick_0_37_1;
dhall = self.dhall_1_13_0;
dhall_1_13_0 = doJailbreak super.dhall_1_13_0; # support ansi-terminal 0.8.x
dhall = self.dhall_1_14_0;
dhall_1_13_0 = doJailbreak super.dhall_1_14_0; # support ansi-terminal 0.8.x
HaTeX = self.HaTeX_3_19_0_0;
hpack = self.hpack_0_28_2;
hspec = dontCheck super.hspec_2_5_1;