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.
2019-09-24 17:01:21 +02:00 · 2019-09-24 17:01:21 +02:00 · 7df8575a72
commit 7df8575a72
parent 6a17945355
1 changed files with 2 additions and 0 deletions
--- 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;
 }