github.com/coq/opam-coq-archive
QuickChick is a random property-based testing library for Coq
opam install coq-quickchick.1.0.1