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

Merge pull request #69358 from kmein/idrisPackages.heyting-algebra

Browse Source 
idrisPackages.heyting-algebra: remove because superseded
This commit is contained in:
Robin Gloster 2019-09-25 12:41:50 +02:00 committed by GitHub
commit 0092f2eb6a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 27 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 {};
heyting-algebra = callPackage ./heyting-algebra.nix {};
hezarfen = callPackage ./hezarfen.nix {};
hrtime = callPackage ./hrtime.nix {};

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

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