diff options
author | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 19:49:25 +0200 |
---|---|---|
committer | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 19:50:04 +0200 |
commit | 8eb0413c05df225fa697d3d413bfa25158d753ce (patch) | |
tree | dd965fb781afc32e004f57c8366b614ea1cd1322 /pkgs/development/idris-modules/default.nix | |
parent | 7df8575a723abaac022fa6bbd77aba66b96631f6 (diff) | |
download | nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar.gz nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar.bz2 nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar.lz nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar.xz nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.tar.zst nixpkgs-8eb0413c05df225fa697d3d413bfa25158d753ce.zip |
idrisPackages.heyting-algebra: remove
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 47c6998a587..074a260b816 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -103,8 +103,6 @@ html = callPackage ./html.nix {}; - heyting-algebra = callPackage ./heyting-algebra.nix {}; - hezarfen = callPackage ./hezarfen.nix {}; hrtime = callPackage ./hrtime.nix {}; |