Revert "coq-modules: add default to fix eval"
This reverts commit e20b65156c
.
This commit is contained in:
parent
0d17ecce2c
commit
59949aa55c
|
@ -28,7 +28,7 @@ let params =
|
|||
propagatedBuildInputs = [ coq-ext-lib simple-io ];
|
||||
};
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
|
@ -20,7 +20,7 @@ let params =
|
|||
sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2";
|
||||
};
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
|
@ -18,7 +18,7 @@ let
|
|||
"8.7" = v20180709;
|
||||
"8.8" = v20181016;
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
|
@ -26,7 +26,7 @@ let params =
|
|||
sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv";
|
||||
};
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
|
@ -14,7 +14,7 @@ let params =
|
|||
"8.8" = v_8_8;
|
||||
"8.9" = v_8_8;
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.9"
|
||||
param = params."${coq.coq-version}"
|
||||
; in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
|
@ -22,7 +22,7 @@ let params = {
|
|||
sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n";
|
||||
};
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation {
|
||||
|
|
|
@ -26,7 +26,7 @@ let
|
|||
sha256 = "1sj7vyarmvp1w5kvbhgpgap1yd0yrj4n1jrla0wv70k0jrq5hhpz";
|
||||
};
|
||||
};
|
||||
param = params."${coq.coq-version}" or params."8.8";
|
||||
param = params."${coq.coq-version}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
|
Loading…
Reference in a new issue