Specify the coq version in a more consistent location
This commit is contained in:
parent
60a6b81e2d
commit
f962f33593
|
@ -9,7 +9,7 @@
|
|||
, ocamlPackages, ncurses
|
||||
, buildIde ? true
|
||||
, csdp ? null
|
||||
, version ? "8.7.1"
|
||||
, version
|
||||
}:
|
||||
|
||||
let
|
||||
|
|
|
@ -64,7 +64,9 @@ in rec {
|
|||
coq_8_6 = callPackage ../applications/science/logic/coq {
|
||||
version = "8.6.1";
|
||||
};
|
||||
coq_8_7 = callPackage ../applications/science/logic/coq {};
|
||||
coq_8_7 = callPackage ../applications/science/logic/coq {
|
||||
version = "8.7.1";
|
||||
};
|
||||
|
||||
coqPackages_8_5 = mkCoqPackages coq_8_5;
|
||||
coqPackages_8_6 = mkCoqPackages coq_8_6;
|
||||
|
|
Loading…
Reference in a new issue