haskell-Agda: add necessary overrides for older versions to fix the LTS builds

This commit is contained in:
Peter Simons 2016-03-17 20:55:38 +01:00
parent a0f0a7191f
commit 73d1d84e54

View file

@ -944,5 +944,7 @@ self: super: {
language-c-quote = super.language-c-quote.override { alex = self.alex_3_1_4; };
# https://github.com/agda/agda/issues/1840
Agda_2_4_2_3 = super.Agda_2_4_2_3.override { unordered-containers = self.unordered-containers_0_2_5_1; };
Agda_2_4_2_4 = super.Agda_2_4_2_4.override { unordered-containers = self.unordered-containers_0_2_5_1; };
Agda = super.Agda.override { unordered-containers = self.unordered-containers_0_2_5_1; };
}