ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-14 15:36:47 +03:00
Code Issues Projects Releases Wiki Activity

cryptol2: build with ghc 7.6.3 to avoid errors with 7.8.x

Browse Source
This commit is contained in:
Peter Simons 2014-07-10 15:12:46 +02:00
parent 5c677f7117
commit ebdd966bc6
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

@ -2582,7 +2582,7 @@ let
compcert = callPackage ../development/compilers/compcert {};
cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {});
cryptol2 = haskellPackages.cryptol;
cryptol2 = haskellPackages_ghc763.cryptol; # doesn't compile with the lastest 7.8.3 release
cython = pythonPackages.cython;
cython3 = python3Packages.cython;