Merge pull request #132080 from Zimmi48/quickchick-version

This commit is contained in:
Ben Siraphob 2021-07-31 10:37:59 +07:00 committed by GitHub
commit 9dda6a5055
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,9 +1,10 @@
{ lib, mkCoqDerivation, coq, ssreflect, coq-ext-lib, simple-io }:
{ lib, mkCoqDerivation, coq, ssreflect, coq-ext-lib, simple-io, version ? null }:
with lib;
let recent = versions.isGe "8.7" coq.coq-version; in
mkCoqDerivation {
pname = "QuickChick";
owner = "QuickChick";
inherit version;
defaultVersion = with versions; switch [ coq.coq-version ssreflect.version ] [
{ cases = [ "8.13" pred.true ]; out = "1.5.0"; }
{ cases = [ "8.12" pred.true ]; out = "1.4.0"; }