pyrox.dev
agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04
+3
-4
pkgs/development/libraries/agda/agda-prelude/default.nix
+3
-4
pkgs/development/libraries/agda/agda-prelude/default.nix
···
1
{ lib, mkDerivation, fetchFromGitHub }:
2
3
mkDerivation rec {
4
-
version = "unstable-2022-01-14";
5
pname = "agda-prelude";
6
7
src = fetchFromGitHub {
8
owner = "UlfNorell";
9
repo = "agda-prelude";
10
-
rev = "3d143d6d0a3f75966602480665623e87233ff93e";
11
-
hash = "sha256-ILhXDq788vrceMp5mCiQUMrJxeLPtS4yGtvMHMYxzg8=";
12
};
13
14
preConfigure = ''
···
24
license = lib.licenses.mit;
25
platforms = lib.platforms.unix;
26
maintainers = with maintainers; [ mudri alexarice turion ];
27
-
broken = true;
28
};
29
}
···
1
{ lib, mkDerivation, fetchFromGitHub }:
2
3
mkDerivation rec {
4
+
version = "unstable-2023-10-04";
5
pname = "agda-prelude";
6
7
src = fetchFromGitHub {
8
owner = "UlfNorell";
9
repo = "agda-prelude";
10
+
rev = "ff3b13253612caf0784a06e2d7d0f30be16c32e4";
11
+
hash = "sha256-A05uDv3fJqKncea9AL6eQa0XAskLZwAIUl1OAOVeP8I=";
12
};
13
14
preConfigure = ''
···
24
license = lib.licenses.mit;
25
platforms = lib.platforms.unix;
26
maintainers = with maintainers; [ mudri alexarice turion ];
27
};
28
}