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 | |
| 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')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/idris-modules/heyting-algebra.nix | 27 |
2 files changed, 0 insertions, 29 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 {}; diff --git a/pkgs/development/idris-modules/heyting-algebra.nix b/pkgs/development/idris-modules/heyting-algebra.nix deleted file mode 100644 index e6656545cbe..00000000000 --- a/pkgs/development/idris-modules/heyting-algebra.nix +++ /dev/null @@ -1,27 +0,0 @@ -{ build-idris-package -, fetchFromGitHub -, contrib -, lib -}: -build-idris-package { - name = "heyting-algebra"; - version = "2017-08-18"; - - idrisDeps = [ contrib ]; - - src = fetchFromGitHub { - owner = "Risto-Stevcev"; - repo = "idris-heyting-algebra"; - rev = "2c814c48246a5e19bff66e64a753208c7d59d397"; - sha256 = "199cvhxiimlhchvsc66zwn0dls78f9lamam256ad65mv4cjmxv40"; - }; - - meta = { - description = "Interfaces for heyting algebras and verified bounded join and meet semilattices"; - homepage = https://github.com/Risto-Stevcev/idris-heyting-algebra; - license = lib.licenses.mit; - maintainers = [ lib.maintainers.brainrape ]; - }; - - broken = true; -} |