@@ -234,5 +234,6 @@ badPackagePaths = [ -- These expression are not found on Hackage:
234234 , "pkgs/tools/networking/sproxy/default.nix"
235235 , "pkgs/tools/networking/sproxy-web/default.nix"
236236 , "pkgs/development/tools/haskell/cabal-delete/default.nix"
237− , "pkgs/development/compilers/cryptol/default.nix"
237+ , "pkgs/development/compilers/cryptol/1.8.x.nix"
238+ , "pkgs/development/compilers/cryptol/2.0.x.nix"
238239 ]