nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 00:43:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Agda: marked some old packages as broken

Browse Source
This commit is contained in:
laMudri 2016-05-21 23:24:49 +01:00
parent 92b843f9a5
commit 6343cf8ae7
4 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,5 +19,6 @@ agda.mkDerivation (self: rec {
license = stdenv.lib.licenses.cc-by-40;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
broken = true; # replaced by constructive-sheaf-semantics
};
})
})

1
pkgs/development/libraries/agda/TotalParserCombinators/default.nix
View File

@ -21,5 +21,6 @@ agda.mkDerivation (self: rec {
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with maintainers; [ fuuzetsu ];
broken = true;
};
})

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

@ -18,5 +18,6 @@ agda.mkDerivation (self: rec {
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
broken = true; # largely replaced by HoTT-Agda
};
})

1
pkgs/development/libraries/agda/bitvector/default.nix
View File

@ -19,5 +19,6 @@ agda.mkDerivation (self: rec {
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
broken = true;
};
})