···

       
7
       
7
       
 
       
  # Some packages need a non-core version of Cabal.

     

       
8
       
8
       
 
       
  Cabal_1_18_1_6 = dontCheck super.Cabal_1_18_1_6;

     

       
9
       
9
       
 
       
  Cabal_1_20_0_3 = dontCheck super.Cabal_1_20_0_3;

     

       
10
       
10
       
-
       
  Cabal_1_22_1_0 = dontCheck super.Cabal_1_22_1_0;

     

       
11
       
11
       
-
       
  cabal-install = dontCheck (super.cabal-install.override { Cabal = self.Cabal_1_22_1_0; });

     

       
10
       
10
       
+
       
  Cabal_1_22_1_1 = dontCheck super.Cabal_1_22_1_1;

     

       
11
       
11
       
+
       
  cabal-install = dontCheck (super.cabal-install.override { Cabal = self.Cabal_1_22_1_1; });

     

       
12
       
12
       
 
       


     

       
13
       
13
       
 
       
  # Break infinite recursions.

     

       
14
       
14
       
 
       
  digest = super.digest.override { inherit (pkgs) zlib; };

     

···

       
38
       
38
       
 
       
  unix = null;

     

       
39
       
39
       
 
       


     

       
40
       
40
       
 
       
  # binary is not a core library for this compiler.

     

       
41
       
41
       
-
       
  binary = self.binary_0_7_3_0;

     

       
41
       
41
       
+
       
  binary = self.binary_0_7_4_0;

     

       
42
       
42
       
 
       


     

       
43
       
43
       
 
       
  # deepseq is not a core library for this compiler.

     

       
44
       
44
       
 
       
  deepseq_1_3_0_1 = dontJailbreak super.deepseq_1_3_0_1;

     

···

       
32
       
32
       
 
       
  unix = null;

     

       
33
       
33
       
 
       


     

       
34
       
34
       
 
       
  # binary is not a core library for this compiler.

     

       
35
       
35
       
-
       
  binary = self.binary_0_7_3_0;

     

       
35
       
35
       
+
       
  binary = self.binary_0_7_4_0;

     

       
36
       
36
       
 
       


     

       
37
       
37
       
 
       
  # deepseq is not a core library for this compiler.

     

       
38
       
38
       
 
       
  deepseq = self.deepseq_1_4_0_0;

     

···

       
40
       
40
       
 
       
  transformers-compat = disableCabalFlag super.transformers-compat "three";

     

       
41
       
41
       
 
       


     

       
42
       
42
       
 
       
  # https://github.com/haskell/cabal/issues/2322

     

       
43
       
43
       
-
       
  Cabal_1_22_1_0 = super.Cabal_1_22_1_0.override { binary = self.binary_0_7_3_0; process = self.process_1_2_2_0; };

     

       
43
       
43
       
+
       
  Cabal_1_22_1_1 = super.Cabal_1_22_1_1.override { binary = self.binary_0_7_4_0; process = self.process_1_2_2_0; };

     

       
44
       
44
       
 
       


     

       
45
       
45
       
 
       
  # https://github.com/tibbe/hashable/issues/85

     

       
46
       
46
       
 
       
  hashable = dontCheck super.hashable;

     

···

       
37
       
37
       
 
       
  transformers-compat = disableCabalFlag super.transformers-compat "three";

     

       
38
       
38
       
 
       


     

       
39
       
39
       
 
       
  # https://github.com/haskell/cabal/issues/2322

     

       
40
       
40
       
-
       
  Cabal_1_22_1_0 = super.Cabal_1_22_1_0.override { binary = self.binary_0_7_3_0; };

     

       
40
       
40
       
+
       
  Cabal_1_22_1_1 = super.Cabal_1_22_1_1.override { binary = self.binary_0_7_4_0; };

     

       
41
       
41
       
 
       


     

       
42
       
42
       
 
       
  # https://github.com/tibbe/hashable/issues/85

     

       
43
       
43
       
 
       
  hashable = dontCheck super.hashable;

     

···

       
40
       
40
       
 
       
  terminfo = self.terminfo_0_4_0_0;

     

       
41
       
41
       
 
       


     

       
42
       
42
       
 
       
  # https://github.com/haskell/cabal/issues/2322

     

       
43
       
43
       
-
       
  Cabal_1_22_1_0 = super.Cabal_1_22_1_0.override { binary = self.binary_0_7_3_0; };

     

       
43
       
43
       
+
       
  Cabal_1_22_1_1 = super.Cabal_1_22_1_1.override { binary = self.binary_0_7_4_0; };

     

       
44
       
44
       
 
       


     

       
45
       
45
       
 
       
  # https://github.com/tibbe/hashable/issues/85

     

       
46
       
46
       
 
       
  hashable = dontCheck super.hashable;

     
···

       
87
       
87
       
 
       
      presburger pretty process QuickCheck random smtLib syb text

     

       
88
       
88
       
 
       
      tf-random transformers utf8-string

     

       
89
       
89
       
 
       
    ];

     

       
90
       
90
       
-
       
    buildTools = with self; [ alex happy Cabal_1_22_1_0 ];

     

       
90
       
90
       
+
       
    buildTools = with self; [ alex happy Cabal_1_22_1_1 ];

     

       
91
       
91
       
 
       
    patchPhase = "sed -i -e 's|process .*,|process,|' cryptol.cabal";

     

       
92
       
92
       
 
       
    description = "Cryptol: The Language of Cryptography";

     

       
93
       
93
       
 
       
    license = pkgs.stdenv.lib.licenses.bsd3;