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

Agda-Sheaves: remove broken package

Browse Source
This commit is contained in:
Alex Rice 2019-12-29 12:11:49 +00:00
parent 229ef0ea8a
commit 99fa0644c9
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88
2 changed files with 0 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
pkgs/development/libraries/agda/Agda-Sheaves/default.nix
View File

@ -1,24 +0,0 @@
{ stdenv, agda, fetchgit }:
agda.mkDerivation (self: rec {
version = "8a06162a8f0f7df308458db91d720cf8f7345d69";
name = "Agda-Sheaves-${version}";
src = fetchgit {
url = "https://github.com/jonsterling/Agda-Sheaves.git";
rev = version;
sha256 = "1gjffyyi4gk9z380yw2wm0jg0a01zy8dnw7jrcc7222swisk5s2d";
};
everythingFile = "sheaves.agda";
topSourceDirectories = [ "../$sourceRoot" ];
sourceDirectories = [];
meta = {
homepage = "https://github.com/jonsterling/Agda-Sheaves";
description = "Sheaves in Agda";
license = stdenv.lib.licenses.cc-by-40;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ ];
broken = true; # replaced by constructive-sheaf-semantics
};
})

2
pkgs/top-level/all-packages.nix
View File

@ -15144,8 +15144,6 @@ in
inherit (haskellPackages) ghcWithPackages; inherit (haskellPackages) ghcWithPackages;
}; };
AgdaSheaves = callPackage ../development/libraries/agda/Agda-Sheaves { };
bitvector = callPackage ../development/libraries/agda/bitvector { }; bitvector = callPackage ../development/libraries/agda/bitvector { };
categories = callPackage ../development/libraries/agda/categories { }; categories = callPackage ../development/libraries/agda/categories { };