coq: default to 8.7
This commit is contained in:
parent
d74a7506f0
commit
202fb6faea
|
@ -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