qcheck 0.1.2 (cleanup, more reasonable printing of counter-example)
metadata for qcheck
Merge pull request #1185 from c-cube/master

qcheck 0.1.2