modified:   quickcheck-assertions.cabal