From 203a9fb210e5b541bfee8e2c8aeaa3d179f2cf5f Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 14 Oct 2014 15:25:21 +0200
Subject: [PATCH] cryptol2: build with old version of 'network'
---
pkgs/top-level/all-packages.nix | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 3c1bdc5cba9..ba1a6b14326 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;
};