cryptol is now available from Hackage,

pkgs/development/haskell-modules/configuration-common.nix

@@ -647,6 +647,11 @@ self: super: {
   # https://github.com/alephcloud/hs-stm-queue-extras/issues/2
   stm-queue-extras = overrideCabal super.stm-queue-extras (drv: { editedCabalFile = null; });
 
+  # https://github.com/GaloisInc/cryptol/issues/197
+  cryptol = overrideCabal super.cryptol (drv: {
+    postUnpack = "rm -v ${drv.pname}-${drv.version}/Setup.hs";
+  });
+
 } // {
 
   # Not on Hackage.

pkgs/development/haskell-modules/configuration-ghc-7.6.x.nix

@@ -70,30 +70,4 @@ self: super: {
   contravariant = addBuildDepend super.contravariant self.tagged;
   reflection = dontHaddock (addBuildDepend super.reflection self.tagged);
 
-} // {
-
-  # Not on Hackage.
-  cryptol = self.mkDerivation rec {
-    pname = "cryptol";
-    version = "2.1.0";
-    src = pkgs.fetchFromGitHub {
-      owner = "GaloisInc";
-      repo = "cryptol";
-      rev = "v${version}";
-      sha256 = "00bmad3qc7h47j26xp7hbrlb0qv0f7k9spxgsc1f6lsmpgq9axr3";
-    };
-    isLibrary = true;
-    isExecutable = true;
-    buildDepends = with self; [
-      ansi-terminal array async base containers deepseq directory
-      executable-path filepath GraphSCC haskeline monadLib mtl old-time
-      presburger pretty process QuickCheck random smtLib syb text
-      tf-random transformers utf8-string
-    ];
-    buildTools = with self; [ alex happy Cabal_1_22_2_0 ];
-    patchPhase = "sed -i -e 's|process .*,|process,|' cryptol.cabal";
-    description = "Cryptol: The Language of Cryptography";
-    license = pkgs.stdenv.lib.licenses.bsd3;
-  };
-
 }

pkgs/top-level/all-packages.nix

@@ -3325,7 +3325,7 @@ let
 
   compcert = callPackage ../development/compilers/compcert {};
 
-  cryptol = haskell-ng.packages.ghc763.cryptol;
+  cryptol = haskellngPackages.cryptol;
 
   cython = pythonPackages.cython;
   cython3 = python3Packages.cython;