diff options
| author | Peter Simons <simons@cryp.to> | 2015-03-27 19:44:19 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2015-03-27 19:45:54 +0100 |
| commit | f0742a4bfbbd9e66840fd422a5db3d0a21e331ce (patch) | |
| tree | f7da562c1c10e59cba85c55a577cf84c53928016 /pkgs/top-level | |
| parent | 7215167342713d6ba65b0c3be6f6691d5495159e (diff) | |
| download | nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar.gz nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar.bz2 nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar.lz nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar.xz nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.tar.zst nixlib-f0742a4bfbbd9e66840fd422a5db3d0a21e331ce.zip | |
cryptol is now available from Hackage,
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 80b461cc8d9b..95734d55550b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/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; |