Merge pull request #42268 from philandstuff/fix-dhall-json-1.2.0-deps

dhall-json_1_2_0: fix dependencies
This commit is contained in:
Peter Simons 2018-06-22 12:20:05 +02:00 committed by GitHub
commit 5cb4cdfd39
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1051,6 +1051,8 @@ self: super: {
strictDeps = true;
});
# dhall-json requires a very particular dhall version
dhall-json_1_2_0 = super.dhall-json_1_2_0.override { dhall = self.dhall_1_14_0; };
}
//