coqPackages: default version 8.4pl6 -> 8.6

This fixes incomplete commit 83a50c2.
This commit is contained in:
Théo Zimmermann 2017-05-16 13:22:25 +02:00 committed by GitHub
parent d5e18499d9
commit 6b8da80466

View file

@ -17714,7 +17714,7 @@ with pkgs;
coqPackages_8_4 = mkCoqPackages_8_4 coqPackages_8_4;
coqPackages_8_5 = mkCoqPackages_8_5 coqPackages_8_5;
coqPackages_8_6 = mkCoqPackages_8_6 coqPackages_8_6;
coqPackages = coqPackages_8_4;
coqPackages = coqPackages_8_6;
cryptoverif = callPackage ../applications/science/logic/cryptoverif { };