From 7df8575a723abaac022fa6bbd77aba66b96631f6 Mon Sep 17 00:00:00 2001 From: Kierán Meinhardt Date: Tue, 24 Sep 2019 17:01:21 +0200 Subject: idrisPackages.heyting-algebra: mark as broken The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`). Therefore identifiers cannot be disambiguated anymore. --- pkgs/development/idris-modules/heyting-algebra.nix | 2 ++ 1 file changed, 2 insertions(+) (limited to 'pkgs/development/idris-modules') diff --git a/pkgs/development/idris-modules/heyting-algebra.nix b/pkgs/development/idris-modules/heyting-algebra.nix index 3fa546466c8..e6656545cbe 100644 --- a/pkgs/development/idris-modules/heyting-algebra.nix +++ b/pkgs/development/idris-modules/heyting-algebra.nix @@ -22,4 +22,6 @@ build-idris-package { license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; }; + + broken = true; } -- cgit 1.4.1