haskell-sbv: fix build

This commit is contained in:
Peter Simons 2017-09-01 13:31:53 +02:00
parent 2a71b5c313
commit b9edab7a17

View file

@ -886,4 +886,7 @@ self: super: {
# missing dependencies: doctest ==0.12.*
html-entities = doJailbreak super.html-entities;
# Needs a version that's newer than what we have in lts-9.
sbv = super.sbv.override { doctest = self.doctest_0_13_0; };
}