Merge pull request #41334 from jhenahan/patch-3

configuration-ghc-8.4.x: bump to dhall_1_14_0
This commit is contained in:
Peter Simons 2018-06-03 12:03:42 +02:00 committed by GitHub
commit da11a27109
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;