diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2021-07-23 16:07:19 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-26 11:41:06 +0200 |
commit | 9d4867074b5d279bf0d2611f3005c50d6c7944f2 (patch) | |
tree | 35097c3da533cb3ad207a6a9032ad6bf25037632 /pkgs/development/libraries | |
parent | 9dfc62e2b8a67ae2d6ec0568205ca2f367342b11 (diff) | |
download | nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.gz nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.bz2 nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.lz nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.xz nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.zst nixpkgs-9d4867074b5d279bf0d2611f3005c50d6c7944f2.zip |
Agda: mark packages as broken until 2.6.2 compatible release is made
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
Diffstat (limited to 'pkgs/development/libraries')
4 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix index 3121edccfe4..11058eb0700 100644 --- a/pkgs/development/libraries/agda/agda-categories/default.nix +++ b/pkgs/development/libraries/agda/agda-categories/default.nix @@ -14,6 +14,8 @@ mkDerivation rec { buildInputs = [ standard-library ]; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; inherit (src.meta) homepage; description = "A new Categories library"; license = licenses.bsd3; diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix index 21883acd195..c546badef2d 100644 --- a/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -19,6 +19,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; homepage = "https://github.com/UlfNorell/agda-prelude"; description = "Programming library for Agda"; license = lib.licenses.mit; diff --git a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix index 1e5c0ae28d3..0253df176ed 100644 --- a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix +++ b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix @@ -18,6 +18,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; homepage = "https://github.com/ryanorendorff/functional-linear-algebra"; description = '' Formalizing linear algebra in Agda by representing matrices as functions diff --git a/pkgs/development/libraries/agda/generic/default.nix b/pkgs/development/libraries/agda/generic/default.nix index ab203121426..855dd0f33c5 100644 --- a/pkgs/development/libraries/agda/generic/default.nix +++ b/pkgs/development/libraries/agda/generic/default.nix @@ -21,6 +21,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; description = "A library for doing generic programming in Agda"; homepage = src.meta.homepage; |