Merge pull request #34714 from vbgl/coq-default-to-8.7
coq: default to 8.7
This commit is contained in:
commit
7ca084292a
|
@ -75,7 +75,7 @@ in rec {
|
|||
coqPackages_8_5 = mkCoqPackages coq_8_5;
|
||||
coqPackages_8_6 = mkCoqPackages coq_8_6;
|
||||
coqPackages_8_7 = mkCoqPackages coq_8_7;
|
||||
coqPackages = coqPackages_8_6;
|
||||
coqPackages = coqPackages_8_7;
|
||||
coq = coqPackages.coq;
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue