Agda: mark packages as broken until 2.6.2 compatible release is made
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
This commit is contained in:
parent
9dfc62e2b8
commit
9d4867074b
|
@ -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;
|
||||
|
|
|
@ -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;
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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;
|
||||
|
|
Loading…
Reference in a new issue