diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-21 14:00:47 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-21 18:06:28 +0000 |
| commit | 6845b248d9c1f897609aa2e1a55302b0475351d4 (patch) | |
| tree | bcee55c9084e03b8ca20cea65323a93a355af0cc /pkgs/development/coq-modules/QuickChick/default.nix | |
| parent | 13e74a838db27825c88be99b1a21fbee33aa6803 (diff) | |
| download | nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.gz nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.bz2 nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.lz nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.xz nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.zst nixpkgs-6845b248d9c1f897609aa2e1a55302b0475351d4.zip | |
coq: init at 8.8+beta1
Diffstat (limited to 'pkgs/development/coq-modules/QuickChick/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 72603ad4485..35cf63af862 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, coq, ssreflect }: -let param = +let params = { "8.5" = { version = "20170512"; @@ -19,9 +19,9 @@ let param = rev = "195e550a1cf0810497734356437a1720ebb6d744"; sha256 = "0zm23y89z0h4iamy74qk9qi2pz2cj3ga6ygav0w79n0qyqwhxcq1"; }; - - }."${coq.coq-version}" -; in + }; + param = params."${coq.coq-version}"; +in stdenv.mkDerivation rec { @@ -49,4 +49,8 @@ stdenv.mkDerivation rec { platforms = coq.meta.platforms; }; + passthru = { + compatibleCoqVersions = v: builtins.hasAttr v params; + }; + } |