diff options
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix')
-rw-r--r-- | nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix b/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix deleted file mode 100644 index 3fa546466c8..00000000000 --- a/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix +++ /dev/null @@ -1,25 +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 ]; - }; -} |