diff options
| author | Peter Simons <simons@cryp.to> | 2014-10-14 15:25:21 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-10-14 17:39:33 +0200 |
| commit | 203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f (patch) | |
| tree | d11f4b607b05b475f0fa052e09adb6835c361182 /pkgs/top-level | |
| parent | e53b2ba9b2e70a765e3bebed5f0adc90fec6eb74 (diff) | |
| download | nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar.gz nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar.bz2 nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar.lz nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar.xz nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.tar.zst nixlib-203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f.zip | |
cryptol2: build with old version of 'network'
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3c1bdc5cba99..ba1a6b143264 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2838,7 +2838,10 @@ let cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {}); cryptol2 = with haskellPackages_ghc763; callPackage ../development/compilers/cryptol/2.0.x.nix { Cabal = Cabal_1_18_1_3; - cabalInstall = cabalInstall_1_18_0_3; + cabalInstall = cabalInstall_1_18_0_3.override { + network = network_2_5_0_0; + HTTP = HTTP.override { network = network_2_5_0_0; }; + }; process = process_1_2_0_0; }; |