diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:25:43 +0000 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-04-25 09:56:53 +0100 |
commit | 6cbaa256fab7df0d213be5caa14a6a29c9a47ed0 (patch) | |
tree | 6a2077499e8cba8a43b8eaece335bb936e58dcc3 /pkgs/development/libraries/agda | |
parent | a519f22c03d65045996b77e89bb50c07728c85fd (diff) |
agda-base: remove broken package
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/agda-base/default.nix | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/pkgs/development/libraries/agda/agda-base/default.nix b/pkgs/development/libraries/agda/agda-base/default.nix deleted file mode 100644 index 678b3a28dc7ea..0000000000000 --- a/pkgs/development/libraries/agda/agda-base/default.nix +++ /dev/null @@ -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 - }; -}) |