JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coqPackages: default version 8.4pl6 -> 8.6

Browse Source 
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
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/top-level/all-packages.nix
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 { };