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

agda-base: remove broken package

This commit is contained in:
Alex Rice 2019-12-29 12:25:43 +00:00
parent a519f22c03
commit 6cbaa256fa
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88
2 changed files with 0 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/libraries/agda/agda-base/default.nix
View File

@ -1,23 +0,0 @@
{ stdenv, agda, fetchurl }:
agda.mkDerivation (self: rec {
version = "0.1";
name = "agda-base-${version}";
src = fetchurl {
url = "https://github.com/pcapriotti/agda-base/archive/v${version}.tar.gz";
sha256 = "124h06p7jdiqr2x6r46sfab9r0cgb0fznr2qs5i1psl5yf3z74h8";
};
sourceDirectories = [ "./." ];
everythingFile = "README.agda";
meta = {
homepage = "https://github.com/pcapriotti/agda-base";
description = "Base library for HoTT in Agda";
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ ];
broken = true; # largely replaced by HoTT-Agda
};
})

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

@ -15134,8 +15134,6 @@ in
inherit (haskellPackages) Agda; inherit (haskellPackages) Agda;
}; };
agdaBase = callPackage ../development/libraries/agda/agda-base { };
agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib { }; agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib { };
agdaPrelude = callPackage ../development/libraries/agda/agda-prelude { }; agdaPrelude = callPackage ../development/libraries/agda/agda-prelude { };