Merge pull request #84 from felixonmars/patch-1

Allow tasty-hunit 0.10
This commit is contained in:
Nikita Volkov 2017-12-06 16:50:01 +03:00 committed by GitHub
commit efb38a05d5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -125,7 +125,7 @@ test-suite tasty
-- testing:
tasty >= 0.12 && < 0.13,
tasty-quickcheck >= 0.9 && < 0.10,
tasty-hunit >= 0.9 && < 0.10,
tasty-hunit >= 0.9 && < 0.11,
quickcheck-instances >= 0.3.11 && < 0.4,
QuickCheck >= 2.8.1 && < 3,
-- general: