Debian wheezy allows two versions of QuickCheck.