Candidates for quickcheck-properties

No candidates exist for quickcheck-properties. Upload one for this or another package?