diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:11:49 +0000 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-04-25 09:56:52 +0100 |
commit | 99fa0644c9a3cf8f3a9d24c37895e0942259d898 (patch) | |
tree | d44b28aafb13100d00c10c3e5a356fcb1217e967 /pkgs/development/libraries/agda | |
parent | 229ef0ea8a94ee889790851264397e285624879b (diff) |
Agda-Sheaves: remove broken package
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/Agda-Sheaves/default.nix | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/pkgs/development/libraries/agda/Agda-Sheaves/default.nix b/pkgs/development/libraries/agda/Agda-Sheaves/default.nix deleted file mode 100644 index 513b79e63938b..0000000000000 --- a/pkgs/development/libraries/agda/Agda-Sheaves/default.nix +++ /dev/null @@ -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 - }; -}) |