Builds for coq-quickchick

Latest: 2.1.0-1