public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

idrisPackages.heyting-algebra: remove

This commit is contained in:
Kierán Meinhardt 2019-09-24 19:49:25 +02:00
parent 7df8575a72
commit 8eb0413c05
2 changed files with 0 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/idris-modules/default.nix
View File

@ -103,8 +103,6 @@
html = callPackage ./html.nix {}; html = callPackage ./html.nix {};
heyting-algebra = callPackage ./heyting-algebra.nix {};
hezarfen = callPackage ./hezarfen.nix {}; hezarfen = callPackage ./hezarfen.nix {};
hrtime = callPackage ./hrtime.nix {}; hrtime = callPackage ./hrtime.nix {};

27
pkgs/development/idris-modules/heyting-algebra.nix
View File

@ -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;
}