JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coq-modules: add default to fix eval

Browse Source 
We don’t want these to not even evaluate, otherwise we won’t know why
they’re broken. For now, I’ve left these as the latest version for a
default. In the future, maybe we should be smarter about choosing these.

(cherry picked from commit e20b65156c)
This commit is contained in:
Matthew Bauer 2019-01-28 09:59:10 -05:00
parent 5afd11a4d6
commit 82a1153d6d
7 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -28,7 +28,7 @@ let params =
propagatedBuildInputs = [ coq-ext-lib simple-io ]; propagatedBuildInputs = [ coq-ext-lib simple-io ];
}; };
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {

2
pkgs/development/coq-modules/Velisarios/default.nix
View File

@ -20,7 +20,7 @@ let params =
sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2"; sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2";
}; };
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {

2
pkgs/development/coq-modules/category-theory/default.nix
View File

@ -18,7 +18,7 @@ let
"8.7" = v20180709; "8.7" = v20180709;
"8.8" = v20181016; "8.8" = v20181016;
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {

2
pkgs/development/coq-modules/coq-haskell/default.nix
View File

@ -26,7 +26,7 @@ let params =
sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv"; sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv";
}; };
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {

2
pkgs/development/coq-modules/coqprime/default.nix
View File

@ -14,7 +14,7 @@ let params =
"8.8" = v_8_8; "8.8" = v_8_8;
"8.9" = v_8_8; "8.9" = v_8_8;
}; };
param = params."${coq.coq-version}" param = params."${coq.coq-version}" or params."8.9"
; in ; in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {

2
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@ -22,7 +22,7 @@ let params = {
sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n"; sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n";
}; };
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation { stdenv.mkDerivation {

2
pkgs/development/coq-modules/equations/default.nix
View File

@ -20,7 +20,7 @@ let
sha256 = "0dd7zd5j2sv5cw3mfwg33ss2vcj634q3qykakc41sv7f3rfgqfnn"; sha256 = "0dd7zd5j2sv5cw3mfwg33ss2vcj634q3qykakc41sv7f3rfgqfnn";
}; };
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}" or params."8.8";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {