diff options
Diffstat (limited to 'pkgs/development/idris-modules/wl-pprint.nix')
| -rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix index 9ecf0591805..55a926d780d 100644 --- a/pkgs/development/idris-modules/wl-pprint.nix +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -16,10 +16,6 @@ build-idris-package { sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d"; }; - # The tests for this package fail. We should attempt to enable them when - # updating this package again. - doCheck = false; - idrisDeps = [ prelude base ]; meta = { |