diff options
author | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 17:01:21 +0200 |
---|---|---|
committer | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 17:01:21 +0200 |
commit | 7df8575a723abaac022fa6bbd77aba66b96631f6 (patch) | |
tree | 9a16b81f83d3f7e2380a2bcb7e4be8254dbb7455 /pkgs/development/idris-modules | |
parent | 6a17945355147705ff13d87831277aa0e2203733 (diff) | |
download | nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar.gz nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar.bz2 nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar.lz nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar.xz nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.tar.zst nixpkgs-7df8575a723abaac022fa6bbd77aba66b96631f6.zip |
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.
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/heyting-algebra.nix | 2 |
1 files changed, 2 insertions, 0 deletions
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; } |